Implement RETM.verifyClassConsistency