let i_bool = function
  | Ceq  -> eq_int_bool
  | Cneq -> ne_int_bool
  | Clt  -> lt_int_bool
  | Cleq -> le_int_bool