Part of a suite of invariant checkers.
Authored by: mitchellkj01 2011-03-09
Parent: [r43]
Child: [r45]