let deb_load_universe options l =
  let (pr,cll,f,t) = deb_load_list options [l] in
  (pr,Cudf.load_universe (List.flatten cll), f, t)