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