Анализ программы, содержащей условный оператор