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