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