Пересчёт высот у AVL-деревьев в больших поворотах

        private void RotateRight(ref AVLTreeNode<T> root)
        {
            AVLTreeNode<T> leftNode = root.left;
            root.left = leftNode.right;
            root.left.parent = root;
 
            leftNode.parent = root.parent;
 
            leftNode.right = root;
            root.parent = leftNode;
 
            root = leftNode;
 
            // тут пересчёт баланса
        }

        private void RotateRightLeft(ref AVLTreeNode<T> root)
        {
            RotateRight(ref root.right);
            RotateLeft(ref root);
        }

using System;
 
namespace MyCollections.Generic
{
    //Класс узла AVL-дерева.
    public class AVLTreeNode<T> : TreeNode<T>, IPrintable, ICloneableAs<AVLTreeNode<T>>
    {
        public new AVLTreeNode<T> left;
        public new AVLTreeNode<T> right;
        public new AVLTreeNode<T> parent;
        public int balance;
 
        public AVLTreeNode(T value = default(T), AVLTreeNode<T> left  = null, AVLTreeNode<T> right  = null, AVLTreeNode<T> parent = null)
        {
            this.value = value;
            this.left = left;
            this.right = right;
            this.parent = parent;
        }
 
        public new AVLTreeNode<T> CloneAs() => new AVLTreeNode<T>(value, left, right, parent);
 
        public override object Clone() => CloneAs();
    }
}

var balanceB = root.balance;
var balanceA = leftNode.balance;
 
// Обозначим dx = x.height - t1.height
 
// d1 = 0
 
// a.balance = t1.height - t2.height = d1 - d2
var d2 = -balanceA;
 
// a.height = (a.balance >= 0 ? t1.height : t2.height) + 1
var da = (balanceA >= 0 ? 0 : d2) + 1;
 
// b.balance = a.height - t3.height = da - d3
var d3 = da - balanceB;
 
// b1.balance = d2 - d3
var balanceB1 = d2 - d3;
 
// b1.height = (b1.balance >= 0 ? t2.height : t3.height) + 1
db1 = (balanceB1 >= 0 ? d2 : d3) + 1;
 
// a1.balance = t1.height - b1.height
var balanceA1 = -db1;