let remove_useless_casts file =
  let visitor = new removeUselessCasts in visitFramacFile visitor file