Showing stacktraces in 'push-downs'