0.00/0.46 MAYBE 0.00/0.46 0.00/0.46 Problem: 0.00/0.47 lte(x, z) -> true() <= lte(x, y) = true(), lte(y, z) = true() 0.00/0.47 lte(x, x) -> true() 0.00/0.47 max(x, y) -> y <= lte(x, y) = true() 0.00/0.47 max(x, y) -> x <= lte(x, y) = false() 0.00/0.47 lte(x, max(x, y)) -> true() 0.00/0.47 lte(y, max(x, y)) -> true() 0.00/0.47 0.00/0.47 Proof: 0.00/0.47 ConCon could not decide confluence of the system. 0.00/0.47 \cite{ALS94}, Theorem 4.1 does not apply. 0.00/0.47 This system may be strongly deterministic or not. 0.00/0.47 0.00/0.48 EOF