docs: def _store_variable(self, j, key, m, value):
          """Store a copy of the variable in the history
          """
          if hasattr(value, 'copy'):
              v = value.copy()
          else:
              v = value
  
          self.history[j][key][m].append(v)