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