0.00/0.52	MAYBE
0.00/0.52	
0.00/0.52	Problem:
0.00/0.52	f(x) -> y <= a() = h(y)
0.00/0.52	g(x, b()) -> g(f(c()), x) <= f(b()) = x, x = c()
0.00/0.52	a() -> h(b())
0.00/0.52	a() -> h(c())
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	ConCon could not decide whether all 2 critical pairs are joinable or not.
0.00/0.52	CP: h(b()) = h(c()):
0.00/0.52	
0.00/0.53	EOF