if (!equals) {
// A. Append UPD(w, v(x)) to E
TreeEditOperation update = new UpdateOperation(w, x, v(x));
fEditScript.add(update);
// B. Apply UPD(w, v(x)) to T1
update.apply();
}
// iii. If (y, v) not in M'
if (!matchContains(v, y, fMatchPrime)) {
// A. Let z be the partner of y in M'
// Node z /*T1*/= (Node) fRightToLeftMatchPrime.get(y); already executed