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.
Import cleanup
Fixed some more UTF-8 related problems and did some code cleanup
remove static keyword from method hasDelegate() in the SClassDefinitionAssistantInterpreter.
remove static keyword from methods in SClassAssistantIntepreter and PDefinitionAssistants.
Removing static keyword from SClassDefinitionAssistantInterpreter.
remove unused imports.
remove empty AApplyExpressionTraceCoreDefinitionAssistantInterpreter.