let fold_pred f _g v = Inthash.fold (fun _ -> f) v.cnCallers