Control Flow Analyzer: Summary

Bird's eye view of network policies.
Good for spotting anomalies, etc.
Easy to navigate.

   Other features:
Restricted views
only eBGP (or iBGP) sessions
only import (or export) policies
Sorting on import/export policy

   Coming soon:
Verify against high-level policy specs (e.g., "lattice").
Could use some suggestions here!