0.55/0.58	NO
0.55/0.58	
0.55/0.58	Problem:
0.55/0.58	 a() -> f(b())
0.55/0.58	 h(b(),f(c())) -> c()
0.55/0.58	 b() -> f(b())
0.55/0.58	 b() -> f(c())
0.55/0.58	 h(c(),c()) -> c()
0.55/0.58	
0.55/0.58	Proof:
0.55/0.58	 Uncurry Processor:
0.55/0.58	  a() -> f5(f(),b())
0.55/0.58	  f5(f5(h(),b()),f5(f(),c())) -> c()
0.55/0.58	  b() -> f5(f(),b())
0.55/0.58	  b() -> f5(f(),c())
0.55/0.58	  f5(f5(h(),c()),c()) -> c()
0.55/0.58	  Ground Confluence Processor:
0.55/0.58	   not UNR by decision procedure.
0.55/0.58	EOF