let push_call values kf args state =
      let deps, _ctx =
        status_of_deps values state,
        List.map (find_exp_status values state) args
      in
      Stack.push { current_fun = kf; deps = deps } call_stack;
(*      let get_status s = S.join deps (find_zone_status state s) in*)
      { state with leaks = Leaks.empty }