Добавлены преобразования NEXT_ARM_MEM_comp, NEXT_ARM_MEM_AL_comp, NEXT_ARM_MEM_NV_comp вычисляющие в теоремах NEXT_ARM_MEM_AL_thm, NEXT_ARM_MEM_NV_thm условия для конкретного состояния и выполняющие правую часть равенства