2025-09-02-vla.md

category	feature

• Added predicates getTransitiveNumberOfVlaDimensionStmts, getTransitiveVlaDimensionStmt, and getParentVlaDecl to VlaDeclStmt for handling VlaDeclStmts whose base type is defined in terms of another VlaDeclStmt via a typedef.