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)