2.93/1.68	YES
2.93/1.68	
2.93/1.68	Problem:
2.93/1.68	 a() -> b()
2.93/1.68	 a() -> c()
2.93/1.68	 a() -> e()
2.93/1.68	 b() -> d()
2.93/1.68	 c() -> a()
2.93/1.68	 d() -> a()
2.93/1.68	 d() -> e()
2.93/1.68	 g(x) -> h(a())
2.93/1.68	 h(x) -> e()
2.93/1.68	
2.93/1.68	Proof:
2.93/1.68	 Ground Confluence Processor:
2.93/1.68	  UNC by decision procedure. (shallow, linear)
2.93/1.68	EOF