Fix Objective-C instrumentation of exit functions.
Add support in the analyser for Objective-C return type instrumentation.