[Cranelift] (n < m) → ((if c then m else x) < (if c then n else x)) …= false

[Cranelift] (n < m) → ((if c then m else x) < (if c then n else x)) …= false #34156