Browse the implementors of #beVariable message and you will find other filters under BPatternVariableNode class, such as #beInstVar or #beLocalVar. If you miss something, just add a method. No new syntax required.
if (i < len) {
，更多细节参见safew官方版本下载
The unsatisfiable cases notably include a bunch of very laxe regexes like (.)+ or (.*)@(.*). The first regex could have been a property (minlength="1") and the second is obviously redundant (and less semantic) than the email input type since it just requires an at sign with at least one character before and after it.
┌───────────────────────┐