let print_one fmt v l = Format.fprintf fmt "variable %s (%d):@\n" v.vname v.vid; List.iter (fun (ki, lv) -> Format.fprintf fmt " sid %a: %a@\n" d_ki ki d_lval lv) l