docs: def _stack_values_to_string(self, stack_values):
          """
          Convert each stack value to a string
  
          :param stack_values: A list of values
          :return: The converted string
          """
  
          strings = [ ]
          for stack_value in stack_values:
              if self.solver.symbolic(stack_value):
                  concretized_value = "SYMBOLIC - %s" % repr(stack_value)
              else:
                  if len(self.solver.eval_upto(stack_value, 2)) == 2:
                      concretized_value = repr(stack_value)
                  else:
                      concretized_value = repr(stack_value)
              strings.append(concretized_value)
  
          return " .. ".join(strings)