4.05/1.88	MAYBE
4.05/1.88	(UNSUPPORTED)
4.05/1.88	ConCon could not decide confluence of the system.
4.05/1.88	EOF