Logický výraz označujúci vstupných podmienok, ktoré musia byť splnené, aby konkrétny program cesta k byť popravený.