ctions-to-normalize-abstract-values">Functions to normalize abstract values</a></li><li><a href="#domain-elements,-revisited-to-be-safe-wrt-value-normalization">Domain elements, revisited to be safe wrt value normalization</a></li></ul></li></ul></nav><div class="odoc-content"><h2 id="parameters"><a href="#parameters" class="anchor"></a>Parameters</h2><div class="odoc-spec"><div class="spec parameter anchored" id="argument-1-AbductiveDomain"><a href="#argument-1-AbductiveDomain" class="anchor"></a><code><sp