Simplified empty and filled conditions in DequeKOT.