Static Verification: An External DSL Advantage · HackerTrans