Абстрактная интерпретация кукурузного колодца