addToClosure( _closure, fold.accuInit( i ) );
for (int i = 0; i < fold.accuCount(); i++)
letInnerDef( fold.accuName( i ) );
for (int i = 0; i < fold.eltCount(); i++)
letInnerDef( fold.eltName( i ) );
letInnerDef( fold.indexName() );
for (int i = 0; i < fold.accuCount(); i++)
addToClosure( _closure, fold.accuStep( i ) );