

def test_lany_is_early_safe():
    x = var()
    y = var()
    assert (run(0, x, lany((membero, y, y), (eq, x, 2))) == (2,))

dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py test_lany_is_early_safe/VarMisuse@34/43 `x`->`y`