MAYBE
162.42/55.37	MAYBE
162.42/55.37	
162.42/55.37	Problem:
162.42/55.37	 a(x1) -> b(x1)
162.42/55.37	 b(a(a(c(x1)))) -> a(c(c(a(a(a(x1))))))
162.42/55.37	
162.42/55.37	Proof:
162.42/55.37	 Open
162.42/55.37	EOF