let retype_fields file =
  let visitor = new retypeFields in visitFramacFile visitor file