Support code-coverage: all-transitions.