Support custom EtsStmt in CFG DSL

[Lipen]

No description provided.

[github-actions]

Test Results

  217 files  ±0    217 suites  ±0   16m 8s ⏱️ +16s
  729 tests ±0    717 ✅ ±0  12 💤 ±0  0 ❌ ±0 
1 997 runs  ±0  1 947 ✅ ±0  50 💤 ±0  0 ❌ ±0 

Results for commit 212d7c8. ± Comparison against base commit 0a50288.

[Copilot]

Pull Request Overview

This PR adds support for custom EtsStmt statements in the CFG (Control Flow Graph) DSL by introducing a new CustomEts node type and its corresponding block and statement representations. This allows users to define custom ETS statements directly in the DSL that are converted to native EtsStmt objects during compilation.

Key changes:

• Introduces new CustomEts, BlockCustomEts, and CustomEtsStmt classes to represent custom statements
• Adds support for custom statements throughout the DSL pipeline (Program → BlockCfg → LinearizedCfg)
• Updates visualization methods to handle the new custom statement types

Reviewed Changes

Copilot reviewed 10 out of 10 changed files in this pull request and generated 5 comments.

Show a summary per file

File	Description
Node.kt	Adds CustomEts node class with toEts function parameter
BlockStmt.kt	Adds BlockCustomEts block statement representation
Stmt.kt	Adds CustomEtsStmt linearized statement representation
ProgramBuilder.kt	Adds customStmt method to program builder interface and implementations
BlockCfg.kt	Maps CustomEts nodes to BlockCustomEts statements
LinearizedCfg.kt	Converts BlockCustomEts to CustomEtsStmt and fixes return statement validation
BlockCfgBuilder.kt	Handles BlockCustomEts statements in ETS compilation
ToDot.kt	Adds placeholder labels for custom statements in DOT visualization
Program.kt	Adds custom statement handling in string representation
DSL.kt	Provides example usage of the new custom statement feature

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}