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