Add unit tests for emptiness