fixed problem with result in function value which was not cloed when the value was cloned
updated prob implementation to exclude all state+state-constraints if used with a function from a post-condition
clean up
removed binary files which are auto generated. Should never have been comitted
added more debug info and changed path for prob to point to the bundled location
Fix 2.1.0 release notes
Merge remote-tracking branch 'origin/development' into ncb/development
Merge remote-tracking branch 'origin/ncb/development' into pvj/main