internal TreeNavigator(ITreeStoreBackend backend, TreePosition pos) { this.backend = backend; this.pos = pos; }