Not all programming languages have break; C syntax was just an example.<p>Also break is no different from using return (to keep C syntax as example) when recursing.<p>If you guard break with if then you also need to prove if the &quot;if&quot; condition does indeed provide a dataflow path to break.