method vinst i =
    if Value.is_reachable (Value.get_state (Kstmt (out_some self#current_stmt)))
    then begin
      match i with
      | Call (_lv_opt,exp,_args,_) ->
          let current_stmt = Kstmt (out_some self#current_stmt) in
          let deps_callees, callees =
            !Value.expr_to_kernel_function
              ~with_alarms:CilE.warn_none_mode
              ~deps:(Some Zone.bottom)
              current_stmt exp
          in
          let all = 
            Kernel_function.Set.fold
              (fun kf acc -> Zone.join acc (Functionwise_Pathdeps.find kf))
              callees
              deps_callees 
          in
          let froms = self#stmt_froms in
          let all_f = Lmap_bitwise.From_Model.find froms all in
          self#join all_f;
          Format.printf "Call: all %a all_f %a@."
            Zone.pretty all
            Zone.pretty all_f;
          SkipChildren 
      | _ -> SkipChildren
    end
    else SkipChildren