let translate_unions file =
  let visitor = new translateUnions in visitFramacFile visitor file