О некоторых задачах анализа и трансформации программ