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