...
(A possible alternative, starting with move-away A, then move-away B from inside the moved A, is only possible if we've been able to complete that move by this time, and . It also violates the rule that the edit driver should not move a previously moved node.)
...