NuXmv: Renamings, new Tests
Missing file
NuXmv: Fixed bug based on typo
NuXmv: File is written now. Result is close to what I expect. Artificial fields missing and GuardedStatement-merging defect
NuXmv: Improve readability of the output file
NuXmv: Finally the TestCase1 gets translated into a correct NuXmv-File

Conflicts:

	Source/SafetySharp/Modelchecking/Common/WriteOnceMetamodel.fs
Now everything in the model checking part is internal