should catch most situations where repeated inlining blows up the
expression complexity unreasonably, as in Joe Conway's recent example.