Started to implement FieldAccessCollector, which walks through the meta model and collects information
Added stubs for NuXmv and Promela Modelchecking with F#

Conflicts:

	Source/SafetySharp/SafetySharp.fsproj

Conflicts:

	Source/SafetySharp/SafetySharp.fsproj

Conflicts:

	Source/SafetySharp/SafetySharp.fsproj
NuXmv: Export of NuXmv-Ast: Added empty pattern matchings for most of the functions
NuXmv: ExportConstExpression in F# done
NuXmv: In F# Expressions can be exported now
NuXmv: Modules can be exported now
NuXmv: Export complete
Promela: F# Added Formulas, started to write transformation for expressions and statements
Promela: Transformation of Formula done
Promela: F# Declaration and Initialisation of Fields in Promela done
Promela: Implemented Basic transformModelObject. Now the resulting transformed promela file should contain the defined declaration and initialisation of variables