WL scalarization appears broken for non-perfectly-nested WLs

Bugzilla Link	519
Created on	Jul 05, 2009 16:04
Version	1.00beta
OS	Linux
Architecture	PC

Extended Description

I'm trying to make WLS work under SAACYC, and it wasn't cooperating,
so I grabbed two examples of WLS in action from Kai's term project
thesis. The first example works OK, but the second, from Abbildung 4.5,fails, even though it should be handled by CYC. Here it is:
---------------------------------------------------------------
/* ktr motivating example Abbildung 4.5 from his term project thesis. */
/* RESULT: with 2 1 -noprelude */
int main()
{
  A = with  {
    (. <= iv=[i] <= .) {
     VAR1 = _add_SxS_( i, 10);
     B = with {
       (. <= jv=[j] <= .) {
         VAL = _add_SxS_( i, _mul_SxS_( VAR1, j));
       } : VAL;
      } : genarray([4], 42);
    } : B;
   } : genarray([4], [10,20,30,40]);
  StdIO::print(A);
  return(0);
}
--------------------------------------------
With any luck, I've merely screwed up the example...