To add to this, I believe that there will always be some amount of "should never happen but I can't prove it" due to Rice's Theorem[1]. [1]: https://en.wikiped

To add to this, I believe that there will always be some amount of "should never happen but I can't prove it" due to Rice's Theorem[1]. [1]: https://en.wikipedia.org/wiki/Rice%27s_theorem https://en.wikipedia.org/wiki/Rice%27s_theorem