Stricter overlay check in ggtags-highlight-tag-at-point