verify_case
if (verify_case(&ctx, init_t, cond_t, ranges[j], rconst))
if (verify_case(&ctx, init_t, cond_t, rconst, ranges[j]))
if (verify_case(&ctx, init_t, cond_t, ranges[j], rconst))
if (verify_case(&ctx, init_t, cond_t, rconst, ranges[j]))
if (verify_case(&ctx, init_t, cond_t, ranges[i], ranges[j]))
if (verify_case(&ctx, init_t, cond_t, ranges[j], ranges[i]))
verify_case(&ctx, c->init_t, c->cond_t, c->x, c->y);
verify_case(&ctx, c->init_t, c->cond_t, c->y, c->x);