0.00/0.80	MAYBE
0.00/0.80	
0.00/0.80	Problem:
0.00/0.80	a() -> b()
0.00/0.80	a() -> c()
0.00/0.80	b() -> c() <= b() = c()
0.00/0.80	
0.00/0.80	Proof:
0.00/0.80	ConCon could not decide confluence of the system.
0.00/0.80	\cite{GNG13}, Theorem 9 does not apply.
0.00/0.80	
0.00/0.81	EOF