let p_alpha_cv do_data p = let alpha, p = pred_alpha_cv do_data Vmap.empty p in let vars = Vmap.fold (fun _v v' acc -> v'::acc) alpha [] in vars, p