def test_membero():
    x = var('x')
    assert set(run(5, x, membero(x, (1,2,3)),
                         membero(x, (2,3,4)))) == set((2,3))

    assert run(5, x, membero(2, (1, x, 3))) == (2,)
dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py/test_membero/original