> +@@ > +( > + while (\(…\)) { … > + } It seems that compound statements are mainly checked for control flow statements by this source code search approach so far. Would you like to handle also single statements (without the curly brackets)? (Will additional SmPL disjunctions be needed then?) > +statement S; … > +| > + for (...; \(…\); > + m = \(…\)) S * Can the metavariable “S” look nicer on a separate line? * Should assignments be taken into account for more variables? > +| > + for (...; \(…\); ...) { > + } > +) I find the shown case distinction incomplete. Will loop initialisations trigger further SmPL development challenges? Regards, Markus