begin
before A
before B
before D
after D
after B
after A
end
Traversal Graph for from A to D
Nodes:
A: in copies {0}
D: in copies {0}
B: in copies {0}
Edges:
-> A,fb,B: in copies {0}
-> B,fd,D: in copies {0}