add pre call to function state is updated, ast discarded
used when you need to know in which function you are in while
manipulating the body of the function.
used when you need to know in which function you are in while
manipulating the body of the function.