multi-position warning only if invariants exist, remove those invariants.