let i_bool = function
  | Ceq  -> TERM.L_eq
  | Cneq -> TERM.L_neq
  | Clt  -> TERM.I_lt
  | Cleq -> TERM.I_leq