>> wrong line number on AssertStatementare
> Just to be clear, it's not wrong source position of assert statements, but wrong source position of (any) labeled statement.
I know that the source position is not specific to AssertStatement but to others as well but the issue here is specific to AssertStatement. I had tried a few more labeled statements but for them it didn't seem to matter much because expressions inside the statements were still carrying the correct source information. I didn't test extensively though.
That's the reason that as an initial experiment I was exploring having ExpressionStatement (AssertExpression) instead of AssertStatement so that AssertExpression continued to carry the correct source information for power assert and ":" source location was set on wrapping ExpressionStatement, which mattered less.