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