Haskell parser for the NuSMV input language