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