ic cfg as graph

created it from the cfg, helps to understand how the AST should be from
all this text

1. GREEN frame = nonterminal = object with some attributes
2. RED double frame = terminal = some primitive (const, string, etc.)
3. edge to X with infinity on it = unbounded list of X
4. "split" - many edges from {1} = superclass with derived classes /
class with attribute that gets some const from groups of consts (like
"type")