int k = findPosition(x);
// C. Append MOV(w, z, k) to E
TreeEditOperation move = new MoveOperation(w, x, z, k);
fEditScript.add(move);
// D. Apply MOV(w, z, k) to T1
move.apply();
}
}
// (d) AlignChildren(w, x)
if (!w.isLeaf()) {
alignChildren(w, x);