code: def p_min_assignment(self, t):
      '''min_assignment : IDENT EQ MIN'''
      self.accu.add(Term('ismin', [self.name,"gen(\""+t[1]+"\")"])f p_min_assignment(self, t):
      '''min_assignment : IDENT EQ MIN'''
      self.accu.add(Term('ismin', [self.name,"gen(\""+t[1]+"\")"]))
docs: min_assignment : IDENT EQ MIN