primdecGTZ() result is not necessarily irredundant