The map $(G, k) ↦ (Gᶜ, k)$, computed by one IMP+ program (read the word, build the adjacency matrix from the CSR blocks, write the CSR word of the complement with the blocks in increasing order, then $k$) in time quadratic in the word, is a reduction with the parameter unchanged.