AWLF unit test twopartoffsetWLAKD.sac misses some folds

Bugzilla Link	883
Created on	Oct 26, 2011 23:05
Version	svn
OS	Linux
Architecture	PC
Attachments	bug883.sac

Extended Description

This AWLF unit test should produce one WL, but it does not.
sac2c -doawlf -nowlf crud.sac
This with Build # developer rev 17696:MODIFIED linux-gnu_x86_64
------------------------------------------------------
inline
int[*] iota( int shp)
{
  res = with {
          ( . <= [i] <= . ) : i;
        } : genarray( [shp], 0 );
  return( res);
}
int[*] id( int[*] y)
{
 return(y);
}
int main()
{ 
 N = id( 30);
 N = _abs_S_( N);
 N = _add_SxS_( N, 40);
 XX = iota( N);
 lim = _sub_SxS_( N, 10);
 ZZ = with {
            ([0] <= [i] < [lim]) { 
            val = 4;
            } :val;
         } : modarray(XX); 
 z = _sel_VxA_( [0], ZZ);
 return( z);
}