working translation to NuSMV
added helpful warning message