0.56/0.61	NO
0.56/0.61	
0.56/0.61	Problem:
0.56/0.61	 f(g(x,a(),b())) -> x
0.56/0.61	 p(a()) -> c()
0.56/0.61	 g(f(h(c(),d())),x,y) -> h(p(x),q(x))
0.56/0.61	 q(b()) -> d()
0.56/0.61	
0.56/0.61	Proof:
0.56/0.61	 Nonconfluence Processor:
0.56/0.61	  terms: f(h(p(a()),q(a()))) *<- f(g(f(h(c(),d())),a(),b())) ->* f(h(c(),d()))
0.56/0.61	  Qed
0.56/0.61	EOF