let print_one fmt v l =
  Format.fprintf fmt "variable %s (%s):@\n" 
    v.vname 
    (if v.vglob then "global"
     else 
        let kf_name = match l with
          | [] | (Kglobal, _) :: _ -> assert false
          | (Kstmt s, _) :: _ ->
            Kernel_function.get_name (Kernel_function.find_englobing_kf s)
        in
        if v.vformal then "parameter of " ^ kf_name
        else "local of " ^ kf_name);
  List.iter
    (fun (ki, lv) ->
       Format.fprintf fmt "  sid %a: %a@\n" d_ki ki d_lval lv) l