private static void Push(TreapNode t) { if (t == null) { return; } if (t.Reverse) { t.Reverse = false; t.Swap(); Revert(t.Left); Revert(t.Right); } }