handle__builtin_choose_expr
if (handle__builtin_choose_expr(expr))
return handle__builtin_choose_expr(expr, implied, recurse_cnt, res, res_sval);
return handle__builtin_choose_expr(expr);