Fix bugs in `isEmpty' and `prop_xpElemExistsUnpickle'