let display_one_from fmt v =
Lmap_bitwise.From_Model.pretty fmt v.deps_table;
Format.fprintf fmt "Additional Variable Map : %a@\n"
(let module M = Stmt.Map.Make(Zone) in M.pretty)
v.additional_deps_table;
Format.fprintf fmt
"Additional Variable Map Set : %a@\n"
Zone.pretty
v.additional_deps