Add a blackhole invariant check