Add new version of state invariant to distinguish initialization.