11.08/3.84	NO
11.08/3.84	
11.08/3.84	Problem:
11.08/3.84	 f(x,x) -> g(x)
11.08/3.84	 f(x,g(x)) -> b()
11.08/3.84	 h(c(),y) -> f(h(y,c()),h(y,y))
11.08/3.84	
11.08/3.84	Proof:
11.08/3.84	 Church Rosser Transformation Processor:
11.08/3.84	  strict:
11.08/3.84	   
11.08/3.84	  weak:
11.08/3.84	   
11.08/3.84	  critical peaks: 0
11.08/3.84	  Redundant Rules Transformation:
11.08/3.84	   f(x,x) -> g(x)
11.08/3.84	   f(x,g(x)) -> b()
11.08/3.84	   h(c(),y) -> f(h(y,c()),h(y,y))
11.08/3.84	   h(c(),c()) -> g(h(c(),c()))
11.08/3.84	   f(x,f(x,x)) -> b()
11.08/3.84	   Nonconfluence Processor:
11.08/3.84	    terms: b() *<- h(c(),c()) ->* g(g(g(h(c(),c()))))
11.08/3.84	    Qed
11.08/3.85	EOF