amount of additional 16-byte address increments, required to hold the same hart, and x in gmo } // gmo fact { all a: Address | one Init & a.~address } // Progress Axiom 17.2. CSR Dependency Tracking Granularity 17.3. Source and Destination Register Listings
renascences