Add condition on maximal output length for generating data

[THinnerichs]

Generated programs may do very odd things with the inputs, especially when loops are available.

Hence, we may want to add a maximum length on the output sequence length.