198.45/50.73	MAYBE
198.45/50.73	
198.45/50.73	Problem:
198.45/50.73	 b(a(x1)) -> a(b(x1))
198.45/50.73	 c(c(x1)) -> a(b(c(x1)))
198.45/50.73	 c(b(x1)) -> b(c(x1))
198.45/50.73	 a(a(x1)) -> b(a(c(x1)))
198.45/50.73	
198.45/50.73	Proof:
198.45/50.73	 Open
198.45/50.73	EOF