2.03/1.33	MAYBE
2.03/1.33	(UNSUPPORTED)
2.03/1.34	ConCon could not decide confluence of the system.
2.03/1.34	EOF