On consistent updates in software defined networks | Synapse