Move DQ states for linearizable emptiness check onto stack as we already employ
an upper limit on p.