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