Fix LSP bug that returned a invalid range for documentSymbol#6299

keyboardDrummer merged 3 commits intodafny-lang:masterdafny-lang/dafny:masterfrom

keyboardDrummer:invalidDocumentSymbolRangekeyboardDrummer/dafny:invalidDocumentSymbolRangeCopy head branch name to clipboard