BUG: fix DecisionsSet.pop.