docs: def _eval_target_brutal(state, ip, limit):
          """
          The traditional way of evaluating symbolic jump targets.
  
          :param state:   A SimState instance.
          :param ip:      The AST of the instruction pointer to evaluate.
          :param limit:   The maximum number of concrete IPs.
          :return:        A list of conditions and the corresponding concrete IPs.
          :rtype:         list
          """
  
          addrs = state.solver.eval_upto(ip, limit)
  
          return [ (ip == addr, addr) for addr in addrs ]