Một tập hợp các điều kiện phải được đáp ứng để cho một đường dẫn chương trình cụ thể được thực hiện.