NuXmv: Else-case
NuXmv: Refactored usage of WriteOnceStatement
NuXmv: this.transformWriteOnceStatement written
NuXmv: Transformation of Partitions complete
NuXmv, Promela: Fixed warnings and tests. New features not implemented yet