coletando estatísticas nos módulos NuSMV gerados.