Use wannesm/wmnusmv.vim for NuSMV