The node you are looking for is at
Detecting invariants in Java programs
.