MAYBE
149.37/55.43	MAYBE
149.37/55.43	
149.37/55.43	Problem:
149.37/55.43	 a(x1) -> b(x1)
149.37/55.43	 a(b(c(x1))) -> c(a(c(a(a(x1)))))
149.37/55.43	 c(x1) -> b(x1)
149.37/55.43	
149.37/55.43	Proof:
149.37/55.43	 Open
149.37/55.43	EOF