def test_number():
    s = Symbol('s')
    n = Number(2)
    assert (n.matches(2) == {})
    assert (n.matches(3) == None)
    assert (n.matches(s) == None)
    assert (n.matches((s + 2)) == None)
def test_number():
    s = Symbol('s')
    n = Number(2)
    assert (n.matches(2) == {})
    assert (n.matches(3) == None)
    assert (n.matches(s) == None)
    assert (n.matches((s + 2)) == None)