4.18/3.50	MAYBE
4.18/3.50	(UNSUPPORTED)
4.18/3.50	ConCon could not decide confluence of the system.
4.18/3.52	EOF