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