Function minimize_sequence_counterexample 

pub(crate) fn minimize_sequence_counterexample(
    calls: &[SymbolicCounterexampleCall],
    sender_candidates: &[Address],
    max_attempts: usize,
    still_fails: impl FnMut(&[SymbolicCounterexampleCall]) -> bool,
) -> Option<MinimizedSequence>

Minimizes a replay-confirmed stateful sequence while preserving the concrete failure.

The caller’s still_fails predicate must replay the whole candidate sequence and return true only when it preserves the already-confirmed failure identity.