Control Flow Analyzer


Idea: Many constraints are best expressed in terms of higher-level semantics. 

Abstracts mechanisms, gives operators a higher-level view of network configuration.

(When we figure out how to specify constraints, we can check them against the specified control flow.)