code: def p_input_assignment(self, t):
      '''input_assignment : IDENT EQ INPUT'''
      self.accu.add(Term('input', [self.name,"gen(\""+t[1]+"\")"])f p_input_assignment(self, t):
      '''input_assignment : IDENT EQ INPUT'''
      self.accu.add(Term('input', [self.name,"gen(\""+t[1]+"\")"]))
docs: input_assignment : IDENT EQ INPUT