[michaelfeathers]

I'm wondering whether there is any reason why condensers can't be used for all program optimization. It seems like the definition would allow that:

> The primary means for shifting computation is the condenser. A condenser is a component that transforms a program, yielding a program that is semantically equivalent under a stated set of constraints (e.g., “class X will not be redefined”), but may be smaller, faster, or better suited to a particular execution environment.

[DylanSp]

A fair amount of compiler optimizations already work like this; I'm thinking in particular of LLVM IR passes.