Information-flow Control: Consistent Export


Common practice: make routes to neighboring peers 
look "equally good".



Again, much easier with static analysis.