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