Less output even for mutants that break well-formedness

This is a bit of hack, but it's what we also use in SSNI.v