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