afterCallWithCheck

Where to jump after a completed call to perform a return type check.