1.21/1.44	NO
1.21/1.44	
1.21/1.44	Problem:
1.21/1.44	 b() -> a()
1.21/1.44	 b() -> c()
1.21/1.44	 c() -> b()
1.21/1.44	 c() -> d()
1.21/1.44	
1.21/1.44	Proof:
1.21/1.44	 Uncurry Processor:
1.21/1.44	  b() -> a()
1.21/1.44	  b() -> c()
1.21/1.44	  c() -> b()
1.21/1.44	  c() -> d()
1.21/1.44	  Ground Confluence Processor:
1.21/1.44	   not UNR by decision procedure.
1.21/1.44	EOF