;Beginning compilation on /toe/ppg/kranz/bench/boyer_inline.scm

INLINE?
TEST
TRUE
FALSE
TAUT?
TAUTOLOGY?
KNOWN-TRUE?
KNOWN-FALSE?
REWRITE
REWRITE-ARGS
REWRITE-WITH-LEMMAS
ONE-WAY-UNIFY-UTIL
ONE-WAY-UNIFY-LIST
APPLY-SUBST
APPLY-SUBST-LIST
(VARIABLES
  FREE (ASSQ GET EQUAL? MEMBER NO-MORE-COND-CLAUSES *FUTURE)
  EARLY-BOUND ()
  DEFINED (INLINE? TEST TRUE FALSE TAUT? TAUTOLOGY? KNOWN-TRUE? KNOWN-FALSE?
REWRITE REWRITE-ARGS REWRITE-WITH-LEMMAS ONE-WAY-UNIFY-UTIL ONE-WAY-UNIFY-LIST
APPLY-SUBST APPLY-SUBST-LIST)
  LSET ()
  SET ()
  ERROR ()
  INTEGRATED (INLINE? NOT NULL? ATOM? CDR CAR EQ? ELSE CADR CONS CADDDR
CADDR NIL)
  LOCAL ()
  UNREFERENCED (TEST))
;;; 0 IBs queued, 23 IBs unqueued
(AS (IB 153) (SDF 108) (ALIGN 42) (MARK 801) (CLEAN 44) (DIRTY 41) (BYTES 3108))