Additional Optimization Options for Code Generation ● Merge State sequences with no guard on transition. ● Inline default test.