nusmv tool seems to work again