[PM] Switch the downward invalidation to be incremental where only the