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 }