let
remove_array_address file =
let
visitor =
new
removeArrayAddress
in
visitFramacFile visitor file