✏️ Editing: BitSet_isEmpty.phpt