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