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