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