let push_function stmt kf =
    Callstack.push stmt kf state.callstack;
    update ()