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