Enabling routing must happen in base.

[Franklin van Nes]

Currently the BGP OSPF chains example enables routing for one destination, which implies we should add a static route. But a static route is not a valid fix. If you add an edge between two non-static routing processes, it has to get added to the base. We need additional constraints in the MaxSMT to handle this.

[Aaron Gember-Jacobson]

Fix issue #17

→ <<cset 61b7ae5839a3>>