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