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