2.08/1.37	MAYBE
2.08/1.37	(UNSUPPORTED)
2.08/1.37	ConCon could not decide confluence of the system.
2.08/1.38	EOF