add invariant check