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