def test_symbol2():
    x = Symbol('x')
    (a, b, c, p, q) = map(Symbol, 'abcpq')
    e = x
    assert (e.match(x) == {})
    assert (e.match(a, a) == {a: x})
    e = Number(5)
    assert (e.match(c, c) == {c: 5})
    assert (e.match(e) == {})
    assert (e.match((e + 1)) == None)
def test_symbol2():
    x = Symbol('x')
    (a, b, c, p, q) = map(Symbol, 'abcpq')
    e = x
    assert (e.match(x) == {})
    assert (e.match(a, a) == {a: x})
    e = Number(5)
    assert (e.match(c, c) == {c: 5})
    assert (e.match(e) == {})
    assert (e.match((e + 1)) == None)