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