1.02/1.07	YES
1.02/1.07	
1.02/1.07	Problem:
1.02/1.07	 f(a(),a(),b(),b()) -> f(c(),c(),c(),c())
1.02/1.07	 a() -> b()
1.02/1.07	 a() -> c()
1.02/1.07	 b() -> a()
1.02/1.07	 b() -> c()
1.02/1.07	
1.02/1.07	Proof:
1.02/1.07	 Uncurry Processor:
1.02/1.07	  f4(f4(f4(f4(f(),a()),a()),b()),b()) -> f4(f4(f4(f4(f(),c()),c()),c()),c())
1.02/1.07	  a() -> b()
1.02/1.07	  a() -> c()
1.02/1.07	  b() -> a()
1.02/1.07	  b() -> c()
1.02/1.07	  Ground Confluence Processor:
1.02/1.07	   NFP by decision procedure.
1.02/1.07	EOF