1.02/1.04	NO
1.02/1.04	
1.02/1.04	Problem:
1.02/1.04	 f(c()) -> g(c())
1.02/1.04	 g(c()) -> f(c())
1.02/1.04	 c() -> d()
1.02/1.04	
1.02/1.04	Proof:
1.02/1.04	 Uncurry Processor:
1.02/1.04	  f4(f(),c()) -> f4(g(),c())
1.02/1.04	  f4(g(),c()) -> f4(f(),c())
1.02/1.04	  c() -> d()
1.02/1.04	  Ground Confluence Processor:
1.02/1.04	   not UNR by decision procedure.
1.02/1.05	EOF