The node you are looking for is at
Redundant invariants
.