adding fast die invariant check