Logický výraz označující vstupní podmínky, které musí být splněny, aby konkrétní program cesta nenaplánoval.