Update v2NuSMV_generator.py