initialisation if invariants is now done via a commit
dynamicInputVar is a virtual method that dynamic invariants are to override that returns the dynamic input variable required for the computation of the output variable of the invariant
Since each level of the invariant graph is sorted, each variable-invariant combination is considered at most once in each probe/commit. The effect of this is that the stored internal values of invariants can be integers instead of CommittedIntegers.
initialisation if invariants is now done via a commit
dynamicInputVaris a virtual method that dynamic invariants are to override that returns the dynamic input variable required for the computation of the output variable of the invariantSince each level of the invariant graph is sorted, each variable-invariant combination is considered at most once in each probe/commit. The effect of this is that the stored internal values of invariants can be integers instead of CommittedIntegers.