The module in CFGraph.dfy is too large. It contains lots of pretty-printing functions, and a few that converts a CFraph into an automaton and back.
This is overly complicated.
To do
separate pretty-printing from other functions
see if buildCFG can be altered to compute a graph in another form then a list of edges (e.g. a map as used in the Automaton module).
The module in
CFGraph.dfy
is too large. It contains lots of pretty-printing functions, and a few that converts a CFraph into an automaton and back. This is overly complicated.To do