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.