Correct TreapSet