Used to identify which cells (places in the memory) in the current precondition are mentioned in a value history in the current abstract state, i.e. were used to compute that value.
type t = private int
includePpx_compare_lib.Comparable.S withtypet := t