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