198.16/50.32	MAYBE
198.16/50.32	
198.16/50.32	Problem:
198.16/50.32	 a(x1) -> b(x1)
198.16/50.32	 a(c(x1)) -> b(c(c(a(x1))))
198.16/50.32	 c(b(b(x1))) -> a(x1)
198.16/50.32	
198.16/50.32	Proof:
198.16/50.32	 Open
198.16/50.33	EOF