0.00/0.52	MAYBE
0.00/0.52	
0.00/0.52	Problem:
0.00/0.52	a() -> t(c())
0.00/0.52	a() -> t(d())
0.00/0.52	f(x, y) -> z <= x = t(z)
0.00/0.52	g(x, x) -> h(x, x)
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