let r_bool = function | Ceq -> TERM.L_eq | Cneq -> TERM.L_neq | Clt -> TERM.R_lt | Cleq -> TERM.R_leq