Re-organize the invariants of the IL2 proof