DJ version 0.2
begin
before A
before X
before B
before X
before C: ok
after C: ok
after X
after B
after X
after A
end
Traversal Graph for from A via B to C
X: in copies {0, 1}
C: in copies {1}
B: in copies {0, 1}
A: in copies {0}
-> X,fb,B: in copies {0, 1}, intercopy table {{0, 1}}
-> A,fx,X: in copies {0}
-> X,fc,C: in copies {1}
-> B,fx,X: in copies {0, 1}