def test_lany():
    x = var('x')
    assert len(tuple(lany(eq(x, 2), eq(x, 3))({}))) == 2
    assert len(tuple(lany((eq, x, 2), (eq, x, 3))({}))) < 2
dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py/test_lany/operator `==` -> `<`