Performs a move operation according to the algorithm and updates the EditScript. @param w the node to be moved @param x the matching node @param z the partner of x's parent @param matchings the set of matching nodes
(final Node w, final Node x, final Node z,
final NodePairs matchings)
source not stored for this graph (policy: none)
no test coverage detected