code: def constant_jump_targets(self):
          
          exits = set()
  
          if self.exit_statements:
              for _, _, stmt_ in self.exit_statements:
                  exits.add(stmt_.dst.value)
  
          default_target = self.default_exit_target
          if default_target is not None:
              exits.add(default_target)
  
          return exits
docs: A set of the static jump targets of the basic block.