Логічний вираз, із зазначенням вхідних умов, які повинні бути виконані для того, щоб шлях конкретної програми буде виконуватися.