if ( branch.position ) {
                branch.highlight = "Range [" + branch.position.range.start + "," + branch.position.range.end + "]";
            }