1. -ssaiv enables code to force WL index variables
   into SSA form. This definitely kills WLF today, 
   manifesting itself as references to undefined IVs.
   If you use it with -nowlf, you may get further.

2. -doswlf extended:
  - Operates on multiple WL partitions in both folder
    and foldee WLs.

  - Maps modarray(foldee) WLs into genarray(shape(foldee)),
    to eliminate reference to foldee data.

  - Slightly improved analysis of WL bounds. However,
    the whole array shapes and bounds
    thing remains a dog's breakfast. 

Operation to invoke extended WLF requires:

 -ssaiv -doswlf -dosaa

and may also require

 -nowlf