java MyMain "A=X. X=B C. B:X|E. E=. C=." "from A through B to C"
output:

Nodes:
X: in copies {0, 1}
C: in copies {1}
B: in copies {0, 1}
A: in copies {0}
Edges:
-> A,x,X: in copies {0}
-> X,c,C: in copies {1}
=> B,X: in copies {0, 1}
-> X,b,B: in copies {0, 1}, intercopy table {{0, 1}}

java MyMain "A:B. B=C. C=." "from A bypassing ->A,b,B to C"
output:

Nodes:
C: in copies {0}
B: in copies {0}
A: in copies {0}
Edges:
-> B,c,C: in copies {0}
=> A,B: in copies {0}

java MyMain "A=B. B=C. C=." "from A bypassing ->A,b,B to C"
output:

Nodes:
Edges:

java MyMain "A=B. B=C. C=." "from A bypassing B to C"
output:

Nodes:
Edges:

java MyMain "A=B. B=C. C=B A." "from B to C"
output:

Nodes:
C: in copies {0}
B: in copies {0}
A: in copies {0}
Edges:
-> C,b,B: in copies {0}
-> B,c,C: in copies {0}
-> C,a,A: in copies {0}
-> A,b,B: in copies {0}

java MyMain "A=<b1>B <b2>B. B=C. C=." "from A through ->A,b1,B to B"
output:

Error: only-through edge globs not yet supported.
Nodes:
B: in copies {0}
A: in copies {0}
Edges:
-> A,b1,B: in copies {0}
-> A,b2,B: in copies {0}

java MyMain "A=B. B=C. C=B." "from A to-stop C"
output:

Nodes:
C: in copies {0}
B: in copies {0}
A: in copies {0}
Edges:
-> B,c,C: in copies {0}
-> A,b,B: in copies {0}

java MyMain "A=<b1>B <b1>B. B=C. C=." "from A to C"
output:

Nodes:
C: in copies {0}
B: in copies {0}
A: in copies {0}
Edges:
-> B,c,C: in copies {0}
-> A,b1,B: in copies {0}

java MyMain "A=<b1>B <b1>C. B=C. C=." "from A to C"
output:

Nodes:
C: in copies {0}
B: in copies {0}
A: in copies {0}
Edges:
-> B,c,C: in copies {0}
-> A,b1,C: in copies {0}
-> A,b1,B: in copies {0}