化（「列」于「正则指令」）而（「或可有」于（（「列」于「正则指令」）合（「列」于「正则指令」）））

文言：算而无事，乃许先于栈置；除与调用，皆止。汉语：拆出首个根数组前的整数加减乘。这里只识别结构；须另验合法 SSA、整数表示、封闭调用图及不逃逸。前导允许依赖先前计算，拒绝除法、读写、分支、调用及其他可能产生效果或陷阱的操作。