* Program.cs: Parametro para modulo de uma só classe

* TestsParser.cs: GErando modulo do nusmv com unica classe.

* unitTestsParser.csproj: Argumento de teste novo.