SCCF bug on prf _take_SxV_

Using sac2c sac2c 1.3.3-MijasCosta-1001-gb33d6 build-type: DEBUG when run with -check tc -v3 -#d,CF on the following program:

int main()
{
    return _reshape_VxA_ (_take_SxV_ (0, []), 42);
}

crashes in SCCF with:

**  9: Enhancing with-loops ...
  **** Introducing explicit accumulators ...
  **** Adding default partitions ...
  **** Applying constant folding ...
    CFfundef: CF: traversing body of (fundef) main
       CFlet: CF: Looking at LHS: _flat_4
       CFlet: CF: Looking at LHS: _flat_3
     CFarray: CF: CFarray looking at  _flat_3
       CFlet: CF: Looking at LHS: _flat_2
       CFlet: CF: Looking at LHS: _flat_1
       CFprf: CF: evaluating prf _take_SxV_
       CFprf: CF: trying SCS...
       CFprf: CF:    not applicable
       CFprf: CF: trying SCCF...


OOOOOOOPS, your program crashed the compiler 8-((