2.33/1.74	MAYBE
2.33/1.74	
2.33/1.74	Proof:
2.33/1.74	ConCon could not decide confluence of the system.
2.33/1.74	Removed infeasible rules from system R.
2.33/1.74	
2.33/1.76	EOF