original_docstring: 
          Create a new rewrite rule for the sort.
  
          Args:
              lhs: The left hand side of the rule.
              rhs: The right hand side of the rule.
              condition: The condition of the rule.
          
docstring: Create a new rewrite rule for the sort.
docstring_tokens: Create a new rewrite rule for the sort .
code: def rewrite_rule(self, lhs, rhs, conditions=[]):
          """
          Create a new rewrite rule for the sort.
  
          Args:
              lhs: The left hand side of the rule.
              rhs: The right hand side of the rule.
              condition: The condition of the rule.
          """
          assert isinstance(lhs, Term),\
              "Left hand side of the rule must be a term"
          assert isinstance(rhs, Term),\
              "Right hand side of the rule must be a term"
          assert type(conditions) == list,\
              "Conditions must be a list of conditions"
          for condition in conditions:
              assert len(condition) == 2, "Conditions must contain 2 terms"
              assert isinstance(condition[0], Term),\
                  "Conditions must contain terms"
              assert isinstance(condition[1], Term),\
                  "Conditions must contain terms"
          self.rewrite_rules.append(RewriteRule(lhs, rhs, conditions))
code_tokens: def rewrite_rule ( self , lhs , rhs , conditions = [ ] ) : assert isinstance ( lhs , Term ) , "Left hand side of the rule must be a term" assert isinstance ( rhs , Term ) , "Right hand side of the rule must be a term" assert type ( conditions ) == list , "Conditions must be a list of conditions" for condition in conditions : assert len ( condition ) == 2 , "Conditions must contain 2 terms" assert isinstance ( condition [ 0 ] , Term ) , "Conditions must contain terms" assert isinstance ( condition [ 1 ] , Term ) , "Conditions must contain terms" self . rewrite_rules . append ( RewriteRule ( lhs , rhs , conditions ) )
short_docstring: Create a new rewrite rule for the sort.
short_docstring_tokens: Create a new rewrite rule for the sort .
comment: """
          Create a new rewrite rule for the sort.
  
          Args:
              lhs: The left hand side of the rule.
              rhs: The right hand side of the rule.
              condition: The condition of the rule.
          """