Generators generate the minimal words that exercise the corresponding formula, for a precise formulation of mininality TBD
Applying Gen.resize on a PDStream generator affects the length of the PDStreams / words generated, but not the size of the batches generated by the corresponding nested BatchGen, to which Gen.resize should be applied independtly
That capture and enforce the following properties