Full (local) NetKAT compilation!
Detangle
Detangle conflict