MAYBE
134.95/55.31	MAYBE
134.95/55.32	
134.95/55.32	Problem:
134.95/55.32	 a(x1) -> b(x1)
134.95/55.32	 a(a(c(x1))) -> c(a(c(a(a(x1)))))
134.95/55.32	 c(c(x1)) -> x1
134.95/55.32	
134.95/55.32	Proof:
134.95/55.32	 Open
134.95/55.32	EOF