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