make inv-erefs functions applicable to resource sets