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 ldc/main
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/main
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/main
Merge branch 'ldc/main' into ldc/astntrw

Conflicts:
	core/ast/src/main/java/org/overture/ast/assistant/AstAssistantFactory.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/VariableNameCollector.java
Initial stab at adding javadoc to the high levle assistants.
Merge remote-tracking branch 'origin/development' into ldc/astntrw

Conflicts:
	core/interpreter/src/main/java/org/overture/interpreter/assistant/definition/SClassDefinitionAssistantInterpreter.java
	core/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/astntrw

Conflicts:
	core/ast/src/main/java/org/overture/ast/assistant/AstAssistantFactory.java
	core/interpreter/src/main/java/org/overture/interpreter/assistant/definition/SClassDefinitionAssistantInterpreter.java
	core/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/VariableNameCollector.java