MAYBE
199.53/55.39	MAYBE
199.53/55.39	
199.53/55.39	Problem:
199.53/55.39	 a(x1) -> b(x1)
199.53/55.39	 b(b(a(c(x1)))) -> a(c(c(a(b(a(x1))))))
199.53/55.39	
199.53/55.39	Proof:
199.53/55.39	 Open
199.53/55.39	EOF