A vector of vectors was too naive. Or I should have replaced the old poly-fn when a new one for the same pred is provided. Changed it to use a sorted-set to ease the replacement.