Function repeat_for_witness_iteration 

fn repeat_for_witness_iteration(witness_iteration: usize) -> usize

Convert a 1-based loop-body witness iteration to allow_repeat.

The existing threshold fixtures document the calibration point: witness iteration 4 is first visible at --postfix-repeat 2.