Yes, I edited `OpTreeContext` to `OpTree` in my comment.