MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 f(c(c(a(),y,a()),b(x,z),a())) -> b(y,f(c(f(a()),z,z)))
0.07/0.18	 f(b(b(x,f(y)),z)) -> c(z,x,f(b(b(f(a()),y),y)))
0.07/0.18	 c(b(a(),a()),b(y,z),x) -> b(a(),b(z,z))
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.19	EOF