let i_pred = function
  | Ceq  -> eq_int
  | Cneq -> ne_int
  | Clt  -> lt_int
  | Cleq -> le_int