0.00/0.48	NO
0.00/0.48	
0.00/0.48	Problem:
0.00/0.48	f(x) -> x <= s(x) = t(x)
0.00/0.48	s(a()) -> t(b())
0.00/0.48	a() -> b()
0.00/0.48	
0.00/0.48	Proof:
0.00/0.48	This system is not confluent.
0.00/0.48	This system is oriented.
0.00/0.48	For the unconditional CP s(b()) = t(b()) the left- and right-hand sides are two different normal forms wrt R_u.
0.00/0.48	
0.00/0.49	EOF