code: def constant_jump_targets_and_jumpkinds(self):
          
          exits = dict()
  
          if self.exit_statements:
              for _, _, stmt_ in self.exit_statements:
                  exits[stmt_.dst.value] = stmt_.jumpkind
  
          default_target = self.default_exit_target
          if default_target is not None:
              exits[default_target] = self.jumpkind
  
          return exits
docs: A dict of the static jump targets of the basic block to their jumpkind.