* handling of fail expression messages in context of thrower to resolve
variable references. Should be fix in Resolute but I can do a local
* Removed extra Diagnostic issues without text that were generated when we
set success or fail status on a verification activity, such as recordin
ghte result of a resolute or Java function.