let i_pred = function | Ceq -> PRED.L_eq | Cneq -> PRED.L_neq | Clt -> PRED.I_lt | Cleq -> PRED.I_leq