fixed error withimplicit operation in prob + missing state existens check

f(s:set of nat)n:nat
post r in set s
enabled model checking to be used for implicit function solving
updated the prob model checker to be able to solve implicit functions
Merge branch 'origin/kel/astv2'

Conflicts:
	core/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java
Merge branch 'origin/development'
changed profile for prob download and packing
corrected a wrong guard
Merge branch 'origin/kel/astv2'

Conflicts:
	ide/plugins/prob-runtime/linux.x86/pom.xml
	ide/plugins/prob-runtime/linux.x86_64/pom.xml
	ide/plugins/prob-runtime/win32.win32/pom.xml