Promela: Defined EasyStatement for my further work

Conflicts:

	Source/SafetySharp/Verification/SpinModelChecker.fs
Promela: started to implement transformMMStepInfosToEasyStatements
Promela: Better name handling
Promela: Expressions in Formulas and Statements should be transformed
Promela: SimpleExpression introduced for SimpleStatement
Promela: SimpleExpression To Promela written
Promela: UpdateMethods of Partitions should be transformed to Promela
Promela and NuXmv: Files for Tests created

Conflicts:

	Source/Tests/Tests.fsproj
Promela: Corrected namespaces, build an instance of the metamodel by hand
Promela: Moved TestCase1 into own file
Promela: Execute transformation of TestCase1
Promela: TestCase1.pml is generated
Promela:
- LTL-Formula is translated
- compiles again