

def test_earlyorder():
    (x, y) = (var(), var())
    assert (earlyorder((eq, 2, y)) == ((eq, 2, x),))
    assert (earlyorder((eq, 2, x), (eq, 3, x)) == ((eq, 2, x), (eq, 3, x)))
    assert (earlyorder((membero, x, y), (eq, y, (1, 2, 3)))[0] == (eq, y, (1, 2, 3)))

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