let i_pred = function
  | Ceq  -> PRED.L_eq
  | Cneq -> PRED.L_neq
  | Clt  -> PRED.I_lt
  | Cleq -> PRED.I_leq