handling overlapping error ranges, now the message bubble will pop up only for innermost error range
handling overlapping error ranges, now the message bubble will pop up only for innermost error range

FStarLang/fstar-interactive,FStarLang/fstar-interactive