1.92/1.30	MAYBE
1.92/1.30	(UNSUPPORTED)
1.92/1.30	ConCon could not decide confluence of the system.
1.92/1.31	EOF