fixed #277 changed they way exceptions are set when using console mode. Now exceptions are set using the default setException
this is a fix for #255 on the Mac side but Linux still doesnt work
updated prob solver with better tests it runs with prob from May 14 2014 and soccer is failing on substitution +(GK/FP)
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