Add output_cfg_dot_basic()
This outputs the nodes in simple graph form.
Useful to have before the detailed path processing has been attempted.
FIXED: Some typos.
Implement translation of SBB match == 3.