_VAR //Implementation METH(i); IF b THEN METH(i*i); END_IF [...] _VAR //Implementation: IF TRUE THEN

_VAR //Implementation x := 99; IF x [...] Test := TRUE; END_IF 在第 1 行的 [...] 分析发现以下表达式 IF - 语句常量 TRUE 是