They&#x27;re avoiding the &quot;not used right&quot; problem in flight control software.<p>The full quote is &quot;Simpler control flow translates into stronger capabilities for both human and tool-based
analysis and often results in improved code clarity. Mission critical code should not just be arguably, but trivially correct.&quot;<p>So there are reasons beyond code clarity.<p>Seems reasonable to me.