2.12/1.33	MAYBE
2.12/1.33	
2.12/1.33	Proof:
2.12/1.33	ConCon could not decide confluence of the system.
2.12/1.33	Inlined conditions in System R.
2.12/1.33	
2.12/1.36	EOF