Moving Loop Invariant segments within a loop outside of the loop.

Examples