1.98/1.32	MAYBE
1.98/1.32	(UNSUPPORTED)
1.98/1.32	ConCon could not decide confluence of the system.
1.98/1.32	EOF