Small example with dead transitions.