Removed tests for EMPTY and NAND