4.33/2.27	MAYBE
4.33/2.27	(UNSUPPORTED)
4.33/2.27	ConCon could not decide confluence of the system.
4.33/2.28	EOF