let empty_from =
    { additional_deps_table = Stmt.Map.empty;
      additional_deps = Zone.bottom;
      deps_table = Lmap_bitwise.From_Model.empty }