The node you are looking for is at Enhancing conditional invariant detection.