code: def p_plus_assignment(self, t):
      '''plus_assignment : IDENT EQ PLUS'''
      self.accu.add(Term('obs_vlabel', [self.name,"gen(\""+t[1]+"\")","1"])f p_plus_assignment(self, t):
      '''plus_assignment : IDENT EQ PLUS'''
      self.accu.add(Term('obs_vlabel', [self.name,"gen(\""+t[1]+"\")","1"]))
docs: plus_assignment : IDENT EQ PLUS