Function: apply2 (<expr>, <rule_1>, ..., <rule_n>) If <rule_1> fails on a given subexpression, then <rule_2> is repeatedly applied, etc. Only if all rules fail on a given subexpression is the whole set of rules repeatedly applied to the next subexpression. If one of the rules succeeds, then the same subexpression is reprocessed, starting with the first rule.
maxapplydepth is the depth of the deepest subexpressions processed by
(%o1) true (%i2)