method compute_and_print =
if not (Varinfo.Set.is_empty unseen) || initializers <> [] then begin
Format.fprintf fmt "@[<v>References to non analyzed functions@ ------------------------------------@ ";
Varinfo.Set.iter self#visit_function semantic;
List.iter (fun (vinit, init) ->
current_initializer <- Some vinit;
ignore (Visitor.visitFramacInit
(self:>Visitor.frama_c_visitor)
vinit NoOffset init);
current_initializer <- None;
) initializers;
Format.fprintf fmt "@]"
end