states_equal
if (states_equal(env, &sl->state, cur, RANGE_WITHIN)) {
states_equal(env, &sl->state, cur, RANGE_WITHIN)) {
if (states_equal(env, &sl->state, cur, RANGE_WITHIN)) {
states_equal(env, &sl->state, cur, EXACT) &&
if (states_equal(env, &sl->state, cur, loop ? RANGE_WITHIN : NOT_EXACT)) {