if 语句总是把其后的cond完全计算完成，实际上没有必要，一般语言都是计算到false就不计算后面的语句了。

下面的代码看起来没有问题， 其实执行会导致数组越界。

原因就是公式解释执行的时候过多得把逻辑上不会发生的条件（HLp0[wlen0]<=0）计算了。

算不了bug，但属于缺陷。

    VARIABLE:HLp0[10]=0;
    HLp0[2]:=-3;
     HLp0[3]:=3;  
    wlen0:=3;
    dir:=1;
     if wlen0>2 then
       begin
       if dir>0 and  HLp0[wlen0]>=0  then   
           Wlen0:=Wlen0-5 ;
       if   dir<0 and   HLp0[wlen0]<=0  then    
         Wlen0:=Wlen0-20 ;
       end;
      WL: WLEN0,NOAXIS;