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