1 2(DEFPARAMETER |Preorder;CAT| 'NIL) 3 4(DECLAIM (NOTINLINE |Preorder;|)) 5 6(DEFPARAMETER |Preorder;AL| 'NIL) 7 8(DEFUN |Preorder| (|t#1|) 9 (LET (#1=#:G401 (#2=#:G402 (|devaluate| |t#1|))) 10 (COND ((SETQ #1# (|assoc| #2# |Preorder;AL|)) (CDR #1#)) 11 (T 12 (SETQ |Preorder;AL| 13 (|cons5| (CONS #2# (SETQ #1# (|Preorder;| #2#))) 14 |Preorder;AL|)) 15 #1#)))) 16 17(DEFUN |Preorder;| (|t#1|) 18 (SPROG ((#1=#:G400 NIL)) 19 (PROG1 20 (LETT #1# 21 (|sublisV| (MAKE_PAIRS '(|t#1|) (LIST |t#1|)) 22 (COND (|Preorder;CAT|) 23 ('T 24 (LETT |Preorder;CAT| 25 (|Join| (|FiniteGraph| '|t#1|) 26 (|mkCategory| 27 '(((|le| 28 ((|Boolean|) $ 29 (|NonNegativeInteger|) 30 (|NonNegativeInteger|))) 31 T)) 32 NIL NIL NIL))))))) 33 (SETELT #1# 0 (LIST '|Preorder| |t#1|))))) 34