verify_case_opt
return verify_case_opt(ctx, init_t, cond_t, x, y, true /* is_subtest */);
if (verify_case_opt(&ctx, init_t, cond_t, range1, range2, false /* !is_subtest */))
if (verify_case_opt(&ctx, init_t, cond_t, range2, range1, false /* !is_subtest */))