When a new SSA vertex is created, this callback is called. The current SSACFG as well as the stack pointer propagation analysis is also provided for the callback so that one can use it to easily compute stack local variables.