let display_one_from fmt k v =
Format.fprintf fmt "Statement: %d@\n%a"
k
Lmap_bitwise.From_Model.pretty
v.deps_table;
Format.fprintf fmt "Additional Variable Map : %a@\n"
(StmtMap.pretty Zone.pretty)
v.additional_deps_table;
Format.fprintf fmt
"Additional Variable Map Set : %a@\n"
Zone.pretty
v.additional_deps