begin
before A
before B
before D
after D
after B
after A
end
Traversal Graph for from A to D
D: in copies {0}
B: in copies {0}
A: in copies {0}
-> B,d,D: in copies {0}
-> A,b,B: in copies {0}