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