Extended snapshot spec to SplayIntSets.