0.95/1.04	YES
0.95/1.04	
0.95/1.04	Problem:
0.95/1.04	 b() -> a()
0.95/1.04	 b() -> c()
0.95/1.04	 c() -> h(b())
0.95/1.04	 c() -> d()
0.95/1.04	 a() -> h(a())
0.95/1.04	 d() -> h(d())
0.95/1.04	
0.95/1.04	Proof:
0.95/1.04	 Uncurry Processor:
0.95/1.04	  b() -> a()
0.95/1.04	  b() -> c()
0.95/1.04	  c() -> f5(h(),b())
0.95/1.04	  c() -> d()
0.95/1.04	  a() -> f5(h(),a())
0.95/1.04	  d() -> f5(h(),d())
0.95/1.04	  Ground Confluence Processor:
0.95/1.04	   UNR by decision procedure.
1.06/1.04	EOF