Clear code is more unlikely to consist of faults and is particularly easier to check, realize, and modify. Every one of these aspects contribute to much less bugs and better trustworthiness. Green Hills optimizing compilers allow enforcement of cleanse coding conventions described by industry specifications such as the MISRA 2012 https://kingswoodhomes.uk.com/news/blackburn-pupil-wins-competition-to-name-a-street-at-green-hills/