Ada_Node_Interval Intervals Mark_Utils Match_Accepters Match_Accepters_All Match_Accepters_Combine Match_Accepters_Function_Access Match_Accepters_Marked Patchers Placeholder_Relations Post_Processing_Contexts Post_Processing_Contexts_Function_Access Post_Processing_Contexts_Rewriter_Find_And_Replace Predefined_Patchers Predefined_Rewriters_Append Predefined_Rewriters_Block_Statement_Simplify Predefined_Rewriters_Boolean_Expression_De_Morgan Predefined_Rewriters_Boolean_Expression_Simplify Predefined_Rewriters_Case_Expression_Simplify Predefined_Rewriters_Case_Statement_Simplify Predefined_Rewriters_Declaration_Simplify Predefined_Rewriters_If_Expression_Distribution Predefined_Rewriters_If_Expression_Simplify Predefined_Rewriters_If_Statement_Distribution Predefined_Rewriters_If_Statement_Simplify Predefined_Rewriters_Membership_Test Predefined_Rewriters_Minimal_Parentheses Predefined_Rewriters_Not Predefined_Rewriters_Null_Statement Predefined_Rewriters_Operator_Definition_Equivalence Predefined_Rewriters_Operator_Definition_Simplify Predefined_Rewriters_Prefer_If_Expression Predefined_Rewriters_Prefer_Quantified_Expressions Predefined_Rewriters_Prefer_Short_Circuit Predefined_Rewriters_Representation_Clauses Rewriters Rewriters_Find_And_Replace Rewriters_Repeat Rewriters_Sequence