cleaning, fixing nusmv