ControlFlowGraph<DisasmBasicBlock, CFGEdgeKind>
DiGraph<DisasmBasicBlock, CFGEdgeKind>
Disassembly-based CFG, where each node contains disassembly code.