Added dumping of CFG to a .dot file
[Delivers #80816506]