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