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)