resultOrigins analysis
handling exceptions as bottom
taking into account all invocations

During in-out analysis, only "result origin" invocations affect analysis, so only such invocations are propagated.