0.55/0.62	NO
0.55/0.62	
0.55/0.62	Problem:
0.55/0.62	 f(b()) -> a()
0.55/0.62	 f(b()) -> f(c())
0.55/0.62	 f(c()) -> f(b())
0.55/0.62	 f(c()) -> d()
0.55/0.62	 b() -> e()
0.55/0.62	 c() -> e'()
0.55/0.62	 f(e()) -> a()
0.55/0.62	 f(e'()) -> d()
0.55/0.62	
0.55/0.62	Proof:
0.55/0.62	 Uncurry Processor:
0.55/0.62	  f7(f(),b()) -> a()
0.55/0.62	  f7(f(),b()) -> f7(f(),c())
0.55/0.62	  f7(f(),c()) -> f7(f(),b())
0.55/0.62	  f7(f(),c()) -> d()
0.55/0.62	  b() -> e()
0.55/0.62	  c() -> e'()
0.55/0.62	  f7(f(),e()) -> a()
0.55/0.62	  f7(f(),e'()) -> d()
0.55/0.62	  Ground Confluence Processor:
0.55/0.62	   not UNR by decision procedure.
0.55/0.62	EOF