code: def dbg_repr(self, max_display=10):
          
  
          s = repr(self) + "\n"
  
          if len(self.chosen_statements) > max_display:
              s += "%d SimRuns in program slice, displaying %d.\n" % (len(self.chosen_statements), max_display)
          else:
              s += "%d SimRuns in program slice.\n" % len(self.chosen_statements)
  
          # Pretty-print the first `max_display` basic blocks
          if max_display is None:
              # Output all
              run_addrs = sorted(self.chosen_statements.keys())
  
          else:
              # Only output the first "max_display" ones
              run_addrs = sorted(self.chosen_statements.keys())[ : max_display]
  
          for run_addr in run_addrs:
              s += self.dbg_repr_run(run_addr) + "\n"
  
          return s
docs: Debugging output of this slice.
  
          :param max_display: The maximum number of SimRun slices to show.
          :return:            A string representation.