let compute_semantic () =
  assert (Db.Value.is_computed ());
  let res = ref Varinfo.Set.empty in
  (* Just iter on all the functions and consult the appropriate table *)
  Globals.Functions.iter
    (fun kf ->
       if !Db.Value.is_called kf then
         res := Varinfo.Set.add (Kernel_function.get_vi kf) !res
    );
  !res