修改NuSMV代码生成实现