FIXED: cfg to .dot output was missing the RTL instruction part.