Ein logischer Ausdruck, der angibt, der Eingaben Bedingungen, die erfüllt sein müssen, damit für ein bestimmtes Programmpfad ausgeführt werden.