Inherited post invariant re-enabled