SOM reachability analysis should consider bindings

[lwrage]

Please describe the problem your proposed feature would address
The SOM reachability analysis should detect situations where a component S is bound to a component P, and in some SOM S is active but P is not.

What is the impact of the problem?

Describe the solution you'd like
It should be an error in the model if this situation occurs.

Describe alternatives you've considered

Additional context