semantic: Mark nested referenced variables as Storage.Nested.