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