docs: def check(self, cfg, state, peek_blocks):
          """
          Check if the specified address will be executed
  
          :param cfg:
          :param state:
          :param int peek_blocks:
          :return:
          :rtype: bool
          """
  
          # Get the current CFGNode from the CFG
          node = self._get_cfg_node(cfg, state)
  
          if node is None:
              # Umm it doesn't exist on the control flow graph - why?
              l.error('Failed to find CFGNode for state %s on the control flow graph.', state)
              return False
  
          # crawl the graph to see if we can reach the target address next
          for src, dst in self._dfs_edges(cfg.graph, node, max_steps=peek_blocks):
              if src.addr == self.addr or dst.addr == self.addr:
                  l.debug("State %s will reach %#x.", state, self.addr)
                  return True
  
          l.debug('SimState %s will not reach %#x.', state, self.addr)
          return False