treap reversibility and commutability