Invariant spans wrong

[xldenis]

When multiple invariants are attached to loops they can end up sharing the same spans which is counter productive and not super helpful.

[xldenis]

I'm having a hard time recreating this issue at the moment...