

def test_earlysafe():
    (x, y) = (var('x'), var('y'))
    assert earlysafe((eq, 2, 2))
    assert earlysafe((eq, 2, 3))
    assert earlysafe((membero, y, (1, 2, 3)))
    assert (not earlysafe((membero, x, y)))

dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py test_earlysafe/VarMisuse@57/76 `x`->`y`