docs: def get_all_nodes(self, simrun_addr, stmt_idx):
          """
          Get all DDG nodes matching the given basic block address and statement index.
          """
          nodes=[]
          for n in self.graph.nodes():
              if n.simrun_addr == simrun_addr and n.stmt_idx == stmt_idx:
                  nodes.add(n)
          return nodes