Document RETM.verifyClassConsistency