0.57/1.19 MAYBE 0.57/1.19 0.57/1.19 Problem: 0.57/1.20 p(q(x)) -> p(r(x)) 0.57/1.20 q(h(x)) -> r(x) 0.67/1.20 r(x) -> r(h(x)) <= s(x) = 0() 0.67/1.20 s(x) -> 1() 0.67/1.20 0.67/1.20 Proof: 0.67/1.20 ConCon could not decide confluence of the system. 0.67/1.20 \cite{ALS94}, Theorem 4.1 does not apply. 0.67/1.20 0.67/1.20 EOF