code: def p_notplus_assignment(self, t):
      '''notplus_assignment : IDENT EQ NOTPLUS'''
      self.accu.add(Term('obs_vlabel', [self.name,"gen(\""+t[1]+"\")","notPlus"])f p_notplus_assignment(self, t):
      '''notplus_assignment : IDENT EQ NOTPLUS'''
      self.accu.add(Term('obs_vlabel', [self.name,"gen(\""+t[1]+"\")","notPlus"]))
docs: notplus_assignment : IDENT EQ NOTPLUS