function.
Raise error if push is called from inside a lifted function