More accurate CHANGE-COUNTER-ADD usage in DELETE-RECORD