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