Loop invariant code motion

[terpstra]

When a computed value:

• is pure
• does not depend on variables in its directly enclosing scope
• its scope is guaranteed to be invoked at least once

We should lift that variable up the scope stack until one of the above conditions fails.

[terpstra]

A better solution: unroll a singly recursive function one time and apply CSE.