java MyMain "A=B. B=C. C=." "from * to *"
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=B. B=C. C=." "from * to B"
output:

Nodes:
B: in copies {0}
A: in copies {0}
Edges:
-> A,b,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 to C bypassing ->A,b,B"
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=B. B=C. C=." "from A bypassing B to C"
output:

Nodes:
Edges:

java MyMain "A=B. B=C. C=." "from A to C bypassing B"
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=b. b=c. c=." "from * bypassing * to * "
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=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 only-through ->A,b1,B to B"
output:

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

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

Nodes:
Edges:

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}