code: def p_max_assignment(self, t):
      '''max_assignment : IDENT EQ MAX'''
      self.accu.add(Term('ismax', [self.name,"gen(\""+t[1]+"\")"])f p_max_assignment(self, t):
      '''max_assignment : IDENT EQ MAX'''
      self.accu.add(Term('ismax', [self.name,"gen(\""+t[1]+"\")"]))
docs: max_assignment : IDENT EQ MAX