fixed error withimplicit operation in prob + missing state existens check

f(s:set of nat)n:nat
post r in set s
More stupid Line Endings...
Merge remote-tracking branch 'origin/symphony/development' into ldc/main

Conflicts:
	core/modelcheckers/probsolverintegration/src/test/resources/modules/Bool-0033.vdmsl.entry
	core/modelcheckers/probsolverintegration/src/test/resources/modules/Bool-0033.vdmsl.result
Merge remote-tracking branch 'origin/symphony/development' into ldc/main
merged with hil/solve but not soccer times out
Merge remote-tracking branch 'origin/symphony/development' into ldc/main
Merge remote-tracking branch 'origin/kel/astv2' into ldc/main
Merge remote-tracking branch 'origin/kel/solv-merge' into ldc/main
Merge remote-tracking branch 'origin/symphony/development' into ldc/main
Merge remote-tracking branch 'origin/development' into ldc/main
Merge remote-tracking branch 'origin/development' into ldc/main
Merge remote-tracking branch 'origin/development' into ldc/main

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/VdmToBConverter.java
	core/modelcheckers/probsolver/src/test/java/org/overture/modelcheckers/probsolver/InspectBAst.java
	core/modelcheckers/probsolver/src/test/resources/modules/soccer.vdmsl
XML extension need for eclipse in linux.
Missing 'final' on a test flag
Updates to the result files involving generation of string literals
Added test revealing problem with generation of char literals that are escaped
Fix for generation of char literals that are escaped
Added new test for generation of curried functions
Updated the toString method of the VDMSeq class to take the "seq of char" case into account.
Added settings to the IR AST for configuring code generation