Should get_available_modes be influenced by inference

Dieses Issue hat noch niemand übernommen.

If we know through mode inference, that a certain state or mode of a (sub-)system can't be transitioned to, should `get_available_states` and `get_available_modes` of (sub-)systems report accordingly?

Example:
* Subsystem A contains several nodes, e.g., node B
* If node B transitions into `error_processing`, certain states and modes for subsystem A are not available until errors in node B are fixed
* `get_available_states` and `get_available_modes` of subsystem A only report states and modes that allow node B to be in error_processing, e.g., degraded modes

Beginne damit, die Einstiegspunkte get_available_states und get_available_modes zusammen mit dem im Beispiel beschriebenen Verhalten zur Modusinferenz zu lesen. Bestimme, ob inferierte unerreichbare Zustände und Modi für übergeordnete Subsysteme gefiltert werden sollten, einschließlich des Falls error_processing. Als abgeschlossen gilt die Aufgabe, wenn eine endgültige Designentscheidung getroffen und das entsprechende Verhalten verifiziert wurde.

Vom Indexierungsmodell aus dem Issue-Text verfasst.