let compute () =
feedback "beginning analysis";
let p = Ast.get () in
let cg = computeGraph p in
let init_funcs = get_init_funcs cg in
let cg = Service.compute cg init_funcs in
CG.mark_as_computed ();
feedback "analysis done";
cg