1.21/1.27	NO
1.21/1.27	
1.21/1.27	Problem:
1.21/1.27	 f(a()) -> b()
1.21/1.27	 a() -> a'()
1.21/1.27	 f(b()) -> c()
1.21/1.27	
1.21/1.27	Proof:
1.21/1.27	 Uncurry Processor:
1.21/1.27	  f5(f(),a()) -> b()
1.21/1.27	  a() -> a'()
1.21/1.27	  f5(f(),b()) -> c()
1.21/1.27	  Ground Confluence Processor:
1.21/1.27	   not UNR by decision procedure.
1.21/1.28	EOF