Implemented CEmpty by using results of recent refactoring.