[Eva] The callstack type does not include global initializations.

In Eva_utils, the reference to the current callstack is None until the
analysis of the main function starts.