Function: applyb1 (<expr>, <rule_1>, ..., <rule_n>) Repeatedly applies <rule_1> to the deepest subexpression of <expr> until it fails, then repeatedly applies the same rule one level higher (i.e., larger subexpressions), until <rule_1> has failed on the top-level expression. Then <rule_2> is applied in the same fashion to the result of <rule_1>. After <rule_n> has been applied to the top-level expression, the result is returned.
applyb1 is similar to
apply1 but works from the bottom up instead of from the top down.
maxapplyheight is the maximum height which
applyb1 reaches before giving up.
(%o1) true (%i2)