4.31/2.26	MAYBE
4.31/2.26	(UNSUPPORTED)
4.31/2.26	ConCon could not decide confluence of the system.
4.31/2.26	EOF