fixing the nusmv analysis