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