original_docstring: 
          Reduce the term by applying a set of rewrite rules on it until a
          fixpoint is reached. The resulting term is in normal form
          (accordingly to the rewrite rules passed as argument).
  
          Args:
              rewrite_rules: A list of rewrite rules to be applied on the term
                  in order to reduce it to its normal form.
  
          Returns:
              A new term obtained after applying the rewrite rules on the term
              until a fixpoint (normal form) was reached.
          
docstring: Reduce the term by applying a set of rewrite rules on it until a
  fixpoint is reached. The resulting term is in normal form
  (accordingly to the rewrite rules passed as argument).
docstring_tokens: Reduce the term by applying a set of rewrite rules on it until a fixpoint is reached . The resulting term is in normal form ( accordingly to the rewrite rules passed as argument ) .
code: def reduce(self, rewrite_rules):
          """
          Reduce the term by applying a set of rewrite rules on it until a
          fixpoint is reached. The resulting term is in normal form
          (accordingly to the rewrite rules passed as argument).
  
          Args:
              rewrite_rules: A list of rewrite rules to be applied on the term
                  in order to reduce it to its normal form.
  
          Returns:
              A new term obtained after applying the rewrite rules on the term
              until a fixpoint (normal form) was reached.
          """
          prev_term = None
          new_term = Term(self.head, self.args)
          while new_term != prev_term:
              prev_term = new_term
              for rule in rewrite_rules:
                  new_term = rule.apply(new_term, rewrite_rules)
  
          return new_term
code_tokens: def reduce ( self , rewrite_rules ) : prev_term = None new_term = Term ( self . head , self . args ) while new_term != prev_term : prev_term = new_term for rule in rewrite_rules : new_term = rule . apply ( new_term , rewrite_rules ) return new_term
short_docstring: Reduce the term by applying a set of rewrite rules on it until a
  fixpoint is reached.
short_docstring_tokens: Reduce the term by applying a set of rewrite rules on it until a fixpoint is reached .
comment: """
          Reduce the term by applying a set of rewrite rules on it until a
          fixpoint is reached. The resulting term is in normal form
          (accordingly to the rewrite rules passed as argument).
  
          Args:
              rewrite_rules: A list of rewrite rules to be applied on the term
                  in order to reduce it to its normal form.
  
          Returns:
              A new term obtained after applying the rewrite rules on the term
              until a fixpoint (normal form) was reached.
          """