

def test_early():
    (x, y) = (var(), var())
    assert run(0, x, lallearly((eq, y, (1, 2)), (membero, x, y)))
    assert run(0, x, lallearly((membero, x, x), (eq, y, (1, 2))))

dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py test_early/VarMisuse@70/81 `y`->`x`