(DJVM::VALID-METHOD-PTR-IMPLIES-CLASS-LOADED)
(DJVM::CONSISTENT-STATE-NOT-NATIVE-IMPLIES-VALID-METHOD-PTR
 (66 66 (:TYPE-PRESCRIPTION JVM::LOADER-INV))
 (44 22 (:TYPE-PRESCRIPTION JVM::LOADER-INV-IMPLIES-WFF-STATE))
 (44 22 (:TYPE-PRESCRIPTION JVM::LOADER-INV-IMPLIES-WFF-INSTANCE-CLASS-TABLE))
 (44 22 (:TYPE-PRESCRIPTION JVM::LOADER-INV-IMPLIES-WFF-CLASS-TABLE))
 )
