def _test_wild_symbol_term():
    w = Symbol('w')
    s = Symbol('s')
    t = Symbol('t')
    p = (s + w)
    wargs = ({}, ([w], [True]))
    assert (p.matches((s + 2), *wargs) == {w: 2})
    assert (p.matches((t + 2), *wargs) == {w: ((t + 2) - s)})
def _test_wild_symbol_term():
    w = Symbol('w')
    s = Symbol('s')
    t = Symbol('t')
    p = (s + w)
    wargs = ({}, ([w], [True]))
    assert (p.matches((s + 2), *wargs) == {w: 2})
    assert (p.matches((t + 2), *wargs) == {w: ((t + 2) - s)})