Nand2Tetris : if-goto (influences stack?)

Yes!!

You want to push something onto the stack to test it.

So, if you don't restore the stack-pointer with the if-goto, then you're leaky..