MAYBE
136.44/55.34	MAYBE
136.44/55.34	
136.44/55.34	Problem:
136.44/55.34	 a(x1) -> b(x1)
136.44/55.34	 b(a(a(b(x1)))) -> a(a(b(b(a(x1)))))
136.44/55.34	
136.44/55.34	Proof:
136.44/55.34	 Open
136.44/55.35	EOF