化（「列」于（「字符串」合「低层项」））而化「字符串」而（「或可有」于「低层项」）

文言：化简：代入字面之令，折叠纯算，静串置址，顶层常量代之以数，令后即若者并之。汉语：一遍自上而下的化简：让名绑到字面（整数或字符串）就代入并去掉这个令；纯整数运算的实参全是整数则折叠；静态串外部调用分配地址；对顶层常量的引用取值；`令 x = v 于 若 x …` 且 x 不再出现时并为 `若 v …`；条件是字面时只留一支。

化「低层项」而「爻」

暂无说明。

化（「列」于「低层项」）而「爻」

暂无说明。

化（「列」于「低层项」）而（「列」于「整数」）

暂无说明。

化「字符串」而化「低层项」而化「低层项」而「低层项」

文言：令后即若，且令名不复见，则并之。汉语：`令 x = v 于 若 x 则 甲 否则 乙`，若 x 不在甲乙中出现，化为 `若 v 则 甲 否则 乙`；求值顺序不变，因为 v 本来就紧接着被判断。

化（「列」于（「字符串」合「低层项」））而化「低层项」而「低层项」

暂无说明。