fn sequence_from_shrink(
calls: &[SymbolicCounterexampleCall],
shrinker: &SequenceShrink,
) -> Vec<SymbolicCounterexampleCall>fn sequence_from_shrink(
calls: &[SymbolicCounterexampleCall],
shrinker: &SequenceShrink,
) -> Vec<SymbolicCounterexampleCall>