( Ignore this post. It's subjective and/or unclear, and it doesn't add anything to the conversation. )

and since nothing is refering to $x, that one goes out of scope as well.

There is never a time when there's nothing referring to $x. f's pad refers to $x even when f is not being executed.