NOT_EXACT
if (!rold->precise && exact == NOT_EXACT)
if (states_equal(env, &sl->state, cur, loop ? RANGE_WITHIN : NOT_EXACT)) {