For now, always get the ultimate expansion location of all source locations when we are highlighting a Decl or Stmt, to avoid errors introduced by locations in different files. In the future, we will probably want to explicitly show the expansion of macros.
For now, always get the ultimate expansion location of all source locations when
we are highlighting a Decl or Stmt, to avoid errors introduced by locations in
different files. In the future, we will probably want to explicitly show the
expansion of macros.

seec-team/seec,seec-team/seec,seec-team/seec,seec-team/seec,mheinsen/seec,seec-team/seec,mheinsen/seec,mheinsen/seec,mheinsen/seec,mheinsen/seec