negative upper bound check on WLs wrong!

The following is legal SaC but ICC (-check c) triggers an error:

int main()
{

   a = with {
          ( [0] <= iv < [ _neg_S_(5)]) : 42;
       } : genarray( [12], 0);

   return _sel_VxA_([3], a);
}

ICC needs to be adjusted accordingly and we should check with all WL-operators whether all possible transformation passes can deal properly with non-standard partitions....