Added contains operation to SplayIntSet.