code: def add_assignment(self, value):
          
          if not value in self._assignments:
              self._assignments.append(value)
docs: Adds the name of a variable/parameter whose value is changed by
          this exectuable.