DefaultMethodReturnInformation handles exceptions in some cases not correctly

Issue #31 resolved
Frederik Buss-Joraschek created an issue

Getting all occured exceptions with

      _throwInstructions.toSeq.map(result.operandsArray(_).head)

fails, when the exception is not created in the code. All exceptions created by the domain, such like NullPointerExceptions from a ArrayValues implementation, will cause a non exceptions value to be part of the list.