t">Domain.t</a></span></code></div><div class="spec-doc"><p>Change the nature normal/exceptional when flowing through an exceptional edge. For a forward analysis, it should turn an exceptional state into normal. For a backward analysis, it should turn an normal state into exceptional.</p></div></div></div></body></html>
