0.60/0.66	YES
0.60/0.66	
0.60/0.66	Problem:
0.60/0.66	 f(h(f(b()),a())) -> b()
0.60/0.66	 f(c()) -> b()
0.60/0.66	 b() -> f(b())
0.60/0.66	
0.60/0.66	Proof:
0.60/0.66	 Uncurry Processor:
0.60/0.66	  f5(f(),f5(f5(h(),f5(f(),b())),a())) -> b()
0.60/0.66	  f5(f(),c()) -> b()
0.60/0.66	  b() -> f5(f(),b())
0.60/0.66	  Ground Confluence Processor:
0.60/0.66	   NFP by decision procedure.
0.60/0.66	EOF