(GET-PC-DESIGNATOR-STACK-FROM-CALL-STACK
 (15 1 (:REWRITE JVM::ALL-FRAMEP-WHEN-NOT-CONSP))
 (11 1 (:REWRITE CONSP-FROM-LEN-CHEAP))
 (5 5 (:TYPE-PRESCRIPTION LEN))
 (3 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE JVM::NOT-EQUAL-OF-CALL-STACK-SIZE-AND-CONSTANT-WHEN-NEGATIVE))
 (2 2 (:REWRITE JVM::NOT-EQUAL-CONSTANT-WHEN-CDR-WRONG))
 (2 2 (:REWRITE JVM::NOT-EQUAL-CONSTANT-WHEN-CAR-WRONG))
 (2 2 (:REWRITE EQUAL-OF-BOOLEANS-CHEAP))
 (2 2 (:REWRITE EQUAL-CONSTANT-WHEN-BVCHOP-EQUAL-CONSTANT-FALSE))
 (2 2 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE JVM::USE-ALL-HEAPREF-TABLE-ENTRYP-2))
 (1 1 (:REWRITE LEN-WHEN-NOT-CONSP-CHEAP))
 (1 1 (:REWRITE LEN-WHEN-BV-ARRAYP))
 (1 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 (1 1 (:REWRITE CONSP-WHEN-LEN-GREATER))
 (1 1 (:REWRITE CONSP-WHEN-LEN-EQUAL-CONSTANT))
 (1 1 (:REWRITE BOUND-WHEN-USB))
 (1 1 (:REWRITE JVM::ALL-FRAMEP-WHEN-NOT-CONSP-CHEAP))
 (1 1 (:LINEAR LEN-POSITIVE-WHEN-CONSP-LINEAR-CHEAP))
 )
(CONSP-OF-GET-PC-DESIGNATOR-STACK-FROM-CALL-STACK
 (50 4 (:REWRITE CONSP-FROM-LEN-CHEAP))
 (10 10 (:REWRITE JVM::NOT-EQUAL-CONSTANT-WHEN-CDR-WRONG))
 (10 10 (:REWRITE JVM::NOT-EQUAL-CONSTANT-WHEN-CAR-WRONG))
 (10 10 (:REWRITE EQUAL-CONSTANT-WHEN-BVCHOP-EQUAL-CONSTANT-FALSE))
 (10 6 (:REWRITE LEN-WHEN-NOT-CONSP-CHEAP))
 (8 8 (:REWRITE JVM::NOT-EQUAL-OF-CALL-STACK-SIZE-AND-CONSTANT-WHEN-NEGATIVE))
 (8 4 (:REWRITE DEFAULT-<-2))
 (6 6 (:REWRITE LEN-WHEN-BV-ARRAYP))
 (4 4 (:REWRITE JVM::USE-ALL-HEAPREF-TABLE-ENTRYP-2))
 (4 4 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE CONSP-WHEN-LEN-GREATER))
 (4 4 (:REWRITE CONSP-WHEN-LEN-EQUAL-CONSTANT))
 (1 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
(LEN-OF-GET-PC-DESIGNATOR-STACK-FROM-CALL-STACK
 (20 10 (:LINEAR LEN-POSITIVE-WHEN-CONSP-LINEAR-CHEAP))
 (10 7 (:REWRITE EQUAL-OF-BOOLEANS-CHEAP))
 (10 5 (:REWRITE LEN-WHEN-NOT-CONSP-CHEAP))
 (7 7 (:REWRITE JVM::NOT-EQUAL-CONSTANT-WHEN-CDR-WRONG))
 (7 7 (:REWRITE JVM::NOT-EQUAL-CONSTANT-WHEN-CAR-WRONG))
 (7 7 (:REWRITE EQUAL-CONSTANT-WHEN-BVCHOP-EQUAL-CONSTANT-FALSE))
 (6 6 (:REWRITE JVM::NOT-EQUAL-OF-CALL-STACK-SIZE-AND-CONSTANT-WHEN-NEGATIVE))
 (4 4 (:REWRITE LEN-WHEN-BV-ARRAYP))
 (3 3 (:REWRITE DEFAULT-+-2))
 (3 3 (:REWRITE DEFAULT-+-1))
 (1 1 (:REWRITE JVM::EQUAL-OF-+-OF-CALL-STACK-SIZE-COMBINE-CONSTANTS))
 )
(GET-PC-DESIGNATOR-STACK-FROM-CALL-STACK-OF-PUSH-FRAME
 (32 2 (:REWRITE EQUAL-OF-LEN-AND-0))
 (22 2 (:REWRITE CONSP-FROM-LEN-CHEAP))
 (5 5 (:REWRITE LEN-WHEN-NOT-CONSP-CHEAP))
 (5 5 (:REWRITE LEN-WHEN-BV-ARRAYP))
 (4 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE JVM::USE-ALL-HEAPREF-TABLE-ENTRYP-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 (2 2 (:REWRITE CONSP-WHEN-LEN-GREATER))
 (2 2 (:REWRITE CONSP-WHEN-LEN-EQUAL-CONSTANT))
 (2 2 (:LINEAR LEN-POSITIVE-WHEN-CONSP-LINEAR-CHEAP))
 (2 2 (:DEFINITION NOT))
 (2 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
(PC-DESIGNATOR-STACK-OF-STATE)
(STEP-STATE-WITH-PC-DESIGNATOR-STACK)
(STEP-STATE-WITH-PC-DESIGNATOR-STACK-OF-MYIF
 (11 11 (:TYPE-PRESCRIPTION MYIF))
 (2 2 (:REWRITE MYIF-WHEN-NOT-NIL))
 (2 2 (:REWRITE MYIF-WHEN-NIL))
 (2 2 (:REWRITE MYIF-OF-CONSTANT-WHEN-NOT-NIL))
 (2 1 (:REWRITE EQUAL-OF-BOOLEANS-CHEAP))
 (1 1 (:TYPE-PRESCRIPTION BOOLEANP))
 (1 1 (:REWRITE JVM::NOT-EQUAL-CONSTANT-WHEN-CDR-WRONG))
 (1 1 (:REWRITE JVM::NOT-EQUAL-CONSTANT-WHEN-CAR-WRONG))
 (1 1 (:REWRITE EQUAL-CONSTANT-WHEN-BVCHOP-EQUAL-CONSTANT-FALSE))
 )
(STEP-STATE-WITH-PC-DESIGNATOR-STACK-BECOMES-STEP
 (4 4 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (4 4 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 )
(STEP-STATE-WITH-PC-DESIGNATOR-STACK-DOES-NOTHING
 (2 1 (:REWRITE EQUAL-OF-BOOLEANS-CHEAP))
 (1 1 (:TYPE-PRESCRIPTION BOOLEANP))
 (1 1 (:REWRITE STEP-STATE-WITH-PC-DESIGNATOR-STACK-BECOMES-STEP))
 (1 1 (:REWRITE JVM::NOT-EQUAL-CONSTANT-WHEN-CDR-WRONG))
 (1 1 (:REWRITE JVM::NOT-EQUAL-CONSTANT-WHEN-CAR-WRONG))
 (1 1 (:REWRITE EQUAL-CONSTANT-WHEN-BVCHOP-EQUAL-CONSTANT-FALSE))
 )
(NOT-EQUAL-OF-CONS-AND-CONS-WHEN-LENS-DIFFER)
(NOT-EQUAL-OF-ZERO-AND-CALL-STACK-SIZE-<-OF-CALL-STACK-SIZE)
