Make loop portion of variable numbers more identifiable
traceUpdate: don't mark old rvs as inactive if they were replaced by new ones
Use Kahan summation in enumeration-query for better numerical precision