TreeEditOperation insert = new InsertOperation(w, z, k);
fEditScript.add(insert);
// iii. Add (w, x) to M' and apply INS((w, a, v(x)), z, k) to T1
addMatchToPrimes(x, w);
insert.apply();
// (c) else if x is not a root (x has a partner in M')
} else if (!x.isRoot()) {
// i.
// Let w be the partner of x in M'