709.28/299.40	MAYBE
709.28/299.40	
709.28/299.40	Problem:
709.28/299.40	 strict:
709.28/299.40	  a(x1) -> b(c(x1))
709.28/299.40	  a(b(x1)) -> b(a(x1))
709.28/299.40	  a(c(x1)) -> c(a(x1))
709.28/299.40	 weak:
709.28/299.40	  d(c(x1)) -> d(a(x1))
709.28/299.40	  d(a(x1)) -> d(c(b(x1)))
709.28/299.40	
709.28/299.40	Proof:
709.28/299.40	 Open
709.28/299.41	EOF