def test_rewrite_simple3():
a = aparse('A(1,2)')
b = aparse('B(2,1)')
mod = module(complex_rr)
rule = mod['foo']
assert rule(a) == b
def test_rewrite_simple2():
a = aparse('A()')
b = aparse('B()')
c = aparse('C()')
mod = module(simple_rr)
rule = mod['bar']
assert rule(a) == c
def test_rewrite_simple():
a = aparse('A()')
b = aparse('B()')
c = aparse('C()')
mod = module(simple_rr)
rule = mod['foo']
assert rule(a) == b
assert rule(b) == c
assert rule(rule(a)) == c
def test_patterns_module():
mod = module(patterns)
def test_simple_module():
module(simple)
