修改删除包NuSMV.enums