let r_pred = function | Ceq -> PRED.L_eq | Cneq -> PRED.L_neq | Clt -> PRED.R_lt | Cleq -> PRED.R_leq