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