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