adds a command to generate cfg graphs, more efficient BitSet