Remove incorrect Invariant contract