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