1.99/1.28	MAYBE
1.99/1.28	(UNSUPPORTED)
1.99/1.28	ConCon could not decide confluence of the system.
1.99/1.28	EOF