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