On equationally Noetherian predicate structures (Groups, Complexity, Cryptology, 2024)