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