def enterPairDomain(tree): FieldPDEnterer().run(tree) du.rebuildTree(tree) MemberPDEnterer().run(tree) du.rebuildTree(tree) TDResetter().run(tree) du.rebuildTree(tree)
def rewriteWildcards(tree): WildcardRewriter().run(tree) du.rebuildTree(tree)
def rewriteParams(tree): ParamRewriter().run(tree) du.rebuildTree(tree)