The node you are looking for is at
Avoiding work for redundant invariants
.