Macro containing calls to other macros might cause location issues

The following code is causing issues in the correct line:

define A()
  false

define B()
  A()

method test()
{
   assert B()  // Issue in this line, not in the body of A or B
}

However, the file all/issues/silicon/0493c.vpr is producing some wrong locations within the error messages. This seems to be related with macros being called within macros. Although the code above works correctly with this situation, some particularity in file 0493c.vpr is causing location issues and must be investigated.

Start by reproducing the location errors from all/issues/silicon/0493c.vpr and compare them with the provided nested-macro example. Trace how macro calls are expanded and how source locations are propagated, then verify that diagnostics for the affected cases point to the correct source lines rather than macro bodies.