Shared rather than written once per caller because the loop is subtle in ways that are not
visible from a second copy of it: what is charged and when, which rules can be skipped
without an attempt, and which of two matching paths a rule takes. Two transformations
already want it — one extracting the cheapest member of the root class and one extracting
the least — and they differ only in that extraction, not in any of this.