add EmptySetTest for test EmptySet