Improve output of dead transitions.