ReturnValue: do the exit ritual just like Block after checking all
statements (but clearing all currently reserved local variables).