let add_sync_with_buch file  =
  let visitor =
    new visit_adding_code_for_synchronisation (Data_for_aorai.getAutomata())
  in
  Cil.visitCilFile (visitor :> Cil.cilVisitor) file