Enumeration::__isset(), Enumeration::__get() and tests