push: unmark a local variable as static