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