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