Add a new invariant check