let
annotate_overflow file =
let
visitor =
new
annotateOverflow
in
visitFramacFile visitor file