def test_lall():
    x = var('x')
    assert results(lall((eq, x, 2))) == ({x: 2},)
    assert results(lall((eq, x, 2), (eq, x, 3))) == ()
dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py/test_lall/original