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