Stop ordering constraints with kind=Mandatory are treated as optional in a Pacemaker cluster

Issue

• Mandatory stop ordering constraints are ignored unless both resources already needed to stop. (Note: kind=Mandatory is the default if a kind option is not specified.)
• If a constraint stop rsc_A then stop rsc_B is configured, and then rsc_B is banned or disabled, Pacemaker does not force rsc_A to stop first as it should.