let init_range env lv ty ka kb goals = let f p () = W.init_range env lv ty ka kb p in List.map (fun g -> make_goal g.g_id (f g.g_prop) [g.g_descr]) goals