docs: def _extract_jump_targets(stmt):
          """
          Extract goto targets from a Jump or a ConditionalJump statement.
  
          :param stmt:    The statement to analyze.
          :return:        A list of known concrete jump targets.
          :rtype:         list
          """
  
          targets = [ ]
  
          # FIXME: We are assuming all jump targets are concrete targets. They may not be.
  
          if isinstance(stmt, ailment.Stmt.Jump):
              targets.append(stmt.target.value)
          elif isinstance(stmt, ailment.Stmt.ConditionalJump):
              targets.append(stmt.true_target.value)
              targets.append(stmt.false_target.value)
  
          return targets