Feat: Add an explicit condition marker for if and while

[EagleoutIce]

No description provided.

[Copilot]

Copilot reviewed 32 out of 32 changed files in this pull request and generated no comments.

Comments suppressed due to low confidence (2)

src/util/mermaid/cfg.ts:20

• Ensure that the explicit subgraph condition for ExpressionList correctly captures all intended cases; verify that using 'id + "-exit"' to determine exit vertices aligns with the desired control flow semantics for constructs like if and while.

if(vertex.name === RType.ExpressionList && vertex.type === CfgVertexType.Expression && cfg.graph.hasVertex(id + '-exit')) {

src/util/mermaid/cfg.ts:8

• The updated getLexeme function now returns undefined instead of '' when no lexeme is available, which could affect downstream processing expecting a string. Verify that this change is intentional and that the consuming code handles undefined values appropriately.

return n ? n.info.fullLexeme ?? n.lexeme ?? '' : undefined;