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