let retype_type_tags file =
  let visitor = new retypeTypeTags in visitFramacFile visitor file