Starting

Attaching invariant

Touching invariant (should keep on same TVars)

Touching invariant (should move it to other TVars)

Touching invariant (should keep on same TVars)

Checking TVar contents
Contents = (-2,1,-3)

Done