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, y) -> z <= c() = x, y = z
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.81	EOF