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