0.00/1.00	MAYBE
0.00/1.00	
0.00/1.00	Problem:
0.00/1.00	f(x) -> A() <= s(x) = t()
0.00/1.00	f(x) -> B() <= s(x) = t()
0.00/1.00	s(a()) -> t()
0.00/1.00	s(b()) -> t()
0.00/1.00	a() -> c()
0.00/1.00	b() -> c()
0.00/1.00	g(x, x) -> h(x, x)
0.00/1.00	
0.00/1.00	Proof:
0.00/1.00	ConCon could not decide confluence of the system.
0.00/1.00	\cite{ALS94}, Theorem 4.1 does not apply.
0.00/1.00	ConCon could not decide whether all 4 critical pairs are joinable or not.
0.00/1.00	CP: A() = B() <= s(x) = t(), s(x) = t():
0.00/1.00	ConCon could not decide infeasibility of this critical pair.
0.00/1.00	
2.58/1.12	EOF