0.00/0.44 MAYBE 0.00/0.44 0.00/0.44 Problem: 0.00/0.45 f(x', x'') -> h(x, f(x, b())) <= x' = x, x'' = x 0.00/0.45 f(g(y'), y'') -> h(y, f(g(y), a())) <= y' = y, y'' = y 0.00/0.45 a() -> b() 0.00/0.45 0.00/0.45 Proof: 0.00/0.45 ConCon could not decide confluence of the system. 0.00/0.45 \cite{SMI95}, Corollary 4.7 or 5.3 do not apply. 0.00/0.45 0.00/0.45 EOF