This example shows how Simulink and Simulink Coder remove dead paths from a model. Path A represents a designer's wish to perform Lookup1 versus Lookup2 based on a static criteria. Path B represents a design'er wish to capture a requirement directly into the design utilizing an assertion block, which is disabled (not active). Path C is another assertion, which is active. These scenarios are automatically detected and any unnecessary paths are eliminated.