0.00/0.51	NO
0.00/0.51	
0.00/0.51	Problem:
0.00/0.52	f(x) -> c(x, y) <= g(x) = y, y = h(x)
0.00/0.52	a() -> b()
0.00/0.52	g(a()) -> h(b())
0.00/0.52	
0.00/0.52	Proof:
0.00/0.52	This system is not confluent.
0.00/0.52	This system is oriented.
0.00/0.52	For the unconditional CP g(b()) = h(b()) the left- and right-hand sides are two different normal forms wrt R_u.
0.00/0.52	
0.00/0.53	EOF