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