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.
Merge remote-tracking branch 'origin/development' into ncb/development
fix for completion which failed when trying to obtain a name from a value definition
Added new overture feature "QuickFix" for adding standard libraries to vdm project with has error markers indicating that these may be missing. close #316
Saving CRLF to LF
Saving CRLF to LF
Merge remote-tracking branch 'origin/pvj/main' into ncb/development
Merge remote-tracking branch 'origin/ldc/main' into ncb/development