RecurseT

ch

RuleResult

ch

renameAllVars

TermExpr

ruleName

RuleResult