forInitUnfold {
\find ( \modality{#allmodal}{.. for(#loopInit; #guard; #forupdates) #s ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{
#forInitUnfoldTransformer(#loopInit);
for(; #guard; #forupdates) #s
}
...}\endmodality ( post ))
\heuristics (loop_expand )
};defined in: forLoopRules.key Line: 15 Offset :4