Thoughts: Enable Auto bookkeeping which is triggered when an element parameter is accessed. For a lattice, record min/max element that has changed.