The vast majority of code isn't the general case. Very few practical applications legitimately intend to execute halt-undecidable code for instance. But if the

The vast majority of code isn't the general case. Very few practical applications legitimately intend to execute halt-undecidable code for instance. But if the language itself strongly obfuscates (or makes it difficult or impossible to express/guarantee) reliable relationships, you miss out on all the desired, and leveragable, certainty that you still intend.