Исправлена NEXT_ARM_MEM_conj_comp чтоб не было упрощений внутри состояния мешающих MP и в комментариях добавлена версия next_mem с ручным сопоставлением для MP
Версия next_mem с ручным сопоставлением для MP
Возвращение к версии next_mem с автоматическим сопоставлением с MATCH_MP