Completed instrumentation for execution at ENTRY and EXIT points, including all handling of return statements and lack thereof. Leaving LOOP until later.
Fixed small bug in return passthrough func