

def test_uneval_membero():
    (x, y) = (var('x'), var('y'))
    assert (set(run(100, y, (membero, y, ((1, 2, 3), (4, 5, 6))), (membero, x, y))) == set((1, 2, 3, 4, 5, 6)))

dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py test_uneval_membero/VarMisuse@35/44 `x`->`y`