Wächterbedingung (Guard)

Eine logische Bedingung in eckigen Klammern [Bedingung], die an Kanten nach einer Entscheidung steht.
Wichtig: Die Guards an einer Verzweigung müssen disjunkt (überschneidungsfrei) und vollständig (jeder Fall abgedeckt) sein, um den deterministischen Fluss zu gewährleisten. Ein fehlender Guard entspricht oft einem else.