let cc_pred p= ccpred Vmap.empty (ref 0) p