2.53/1.78	MAYBE
2.53/1.78	
2.53/1.78	Proof:
2.53/1.78	ConCon could not decide confluence of the system.
2.53/1.78	Removed infeasible rules from system R.
2.53/1.78	
2.53/1.80	EOF