Показано, что в классе схем программ с памятью, состоящих из двух ячеек, отношение включения, рассматриваемое при всех интерпретациях, совпадает с отношением включения, рассматриваемый только при конечных интерпретациях. Из этого результата следует частичная разрешимость проблем включения и неэквивалентности в данном классе схем.
