0.00/0.52	MAYBE
0.00/0.52	
0.00/0.52	Problem:
0.00/0.52	f(x) -> c(x, y) <= g(x) = y, y = h(x)
0.00/0.52	a() -> b()
0.00/0.52	g(a()) -> h(b())
0.00/0.52	
0.00/0.52	Proof:
0.00/0.52	ConCon could not decide confluence of the system.
0.00/0.52	\cite{ALS94}, Theorem 4.1 does not apply.
0.00/0.52	
0.00/0.52	EOF