Изменения

// проверка на то, что текущий ключ не меньше передаваемого ключа k

if k > key[x]

key[x] = k;

y = x;

//это значение меньше значения в родительской вершине

while z != null and key[y] < key[z]

}

</code>