High: PE: Ensure manditory ordering constraints behave correctly
given rsc_order(start, A, before, B)

• If A is unrunnable, ensure B is stopped
• If A is not running but B is, ensure B is restarted after A starts

Mercurial revision: b71ffbf3a4185196428935055ea32578803fe50b