def test_lany_is_early_safe():
    x = var()
    y = var()
    assert run(0, x, lany((membero, x, y), (eq, x, 2))) is (2,)
dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py/test_lany_is_early_safe/operator `==` -> `is`