4.14/3.10	MAYBE
4.14/3.10	(UNSUPPORTED)
4.14/3.11	ConCon could not decide confluence of the system.
4.14/3.11	EOF