О разрешимости эквациональных теорий покрытий многообразий полугрупп