let load_universe ?default_arch ?(extras=[]) 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 ?default_arch ~extras [uris] in
let u = (pr,Cudf.load_universe (List.flatten cll), f, t) in
Util.Timer.stop timer u