def test_uneval_membero():
    x, y = var('x'), var('y')
    assert set(run(100, x, (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/original