primdecGTZ result is not necessarily irredundant