Repair adds edge from static route to two different routers

[Franklin van Nes]

With the BGP redistribute OSPF with static example, the repair is to have the static route on A point to both B and C. We cannot do this in practice. The MaxSMT needs additional constraints to ensure a static route only points to one router's routing processes.