From Mill Computing Wiki
Predicated loop on true condition.
Everything that applies to inner applies also here. The difference is the predicate to make it a conditional inner. And there is one less possible argument in all the encodings.
operands: like Inv :
|Silver||F0 F1 F2||1|