Adds pushFinally code