0.00/0.48	NO
0.00/0.48	
0.00/0.48	Problem:
0.00/0.48	a() -> c()
0.00/0.48	a() -> d()
0.00/0.48	f(x) -> x <= x = c()
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 normal.
0.00/0.48	For the unconditional CP c() = d() the left- and right-hand sides are two different normal forms wrt R_u.
0.00/0.48	
0.00/0.81	EOF