Added FParsec
Prism: started to parse results
NuXmv: found a bug and added a comment