Добавлены функция mapf и преобразование NEXT_ARM_MEM_conj_comp из состояния в полную теорему о следующем состоянии с условиями объединённую по и