let load_universe ?(options=None) uris =
info "Parsing and normalizing..." ;
let timer = Util.Timer.create "Parsing and normalizing" in
Util.Timer.start timer;
let (pr,cll,f,t) = parse_input ~options [uris] in
let u = (pr,Cudf.load_universe (List.flatten cll), f, t) in
Util.Timer.stop timer u