Good article. I think this is more relevant for Model based development and auto code generators. In auto-generated code there usually exist may unreachable pat

Good article. I think this is more relevant for Model based development and auto code generators. In auto-generated code there usually exist may unreachable paths and un-resolved conditions which only surface up when code is run over certain period of time or some environmental conditions are met. Visualising Level 3 as explained in article is easy in model based development but it's consequences on Level 1 and Level 2 are difficult to predict. These things are of topmost priority in safety critical systems. E.g. [1] Toyota's unintended acceleration case [1] https://embeddedgurus.com/barr-code/2013/10/an-update-on-toyota-and-unintended-acceleration/ https://embeddedgurus.com/barr-code/2013/10/an-update-on-toy...