 value-normalizing layer on top of <code>BaseDomain</code></h3><p>The operations in this module take care of two things that are important for the safety of domain operations:</p><p>1. Propagate operations on the current state to the pre-condition when necessary. This is the &quot;abductive&quot; part of the domain and follows the principles of biabduction as laid out in *Compositional Shape Analysis by Means of Bi-Abduction*, JACM, 2011, https://doi.org/10.1145/2049697.2049700. Simply put, a read from a me