Linked Presentation: SCL: Simplifying Distributed SDN Control PlanesVerifying Reachability in Networks with Mutable Datapaths