Angabe von Datenknoten in Bedingungen 

Datenknoten als Operanden dnode von Vorbedingungen, Zusicherungen oder Bedingungen können wie folgt angegeben werden:

·        Falls der gemäß den Adressierungsregeln angegebene Bezeichner node an der ersten Stelle einen Buchstaben oder einen Unterstrich und an den übrigen Stellen nur Buchstaben, Ziffern, Binde- oder Unterstriche enthält, kann er direkt angegeben werden.

·        Die speziellen Bezeichner $ref und $alias können ebenfalls direkt angegeben werden.

·        Alle übrigen Bezeichner müssen in der Form ref('node') angegebenen werden. Dies gilt insbesondere auch für die Angabe einer Datenwurzel über .root.