Function write_sequence 

fn write_sequence(
    s: &mut String,
    label: &str,
    original: usize,
    sequence: &[BaseCounterExample],
)

Appends a [label] (original: N, shrunk: M) header followed by one line per call.