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