200.01/50.08	MAYBE
200.01/50.08	
200.01/50.08	Problem:
200.01/50.08	 c(b(x1)) -> b(a(x1))
200.01/50.08	 a(c(x1)) -> a(b(c(x1)))
200.01/50.08	 b(b(x1)) -> b(c(x1))
200.01/50.08	 c(a(x1)) -> c(c(c(x1)))
200.01/50.08	
200.01/50.08	Proof:
200.01/50.08	 Open
200.01/50.09	EOF