Can print diagnostic info about SplayIntSet.