text: Анализ программы должен быть консервативным: если мы не знаем, присваивает ли инструкция s значение переменной x, то мы должны считать, что она может сделать это, т.е. что переменная x после инструкции s может иметь либо исходное значение, бывшее у неё до инструкции s, либо новое значение, созданное s.