(CGEN::SEPARATE-CONST/SIMPLE-HYPS.)
(CGEN::POSSIBLE-CONSTANT-VALUE-EXPRESSIONP-LST)
(CGEN::CONSTANT-HYP?)
(CGEN::MGET-TERM-VAR)
(CGEN::MGET-HYP-VAR)
(CGEN::DESTRUCT-SIMPLE-HYP
 (8 8 (:REWRITE DEFAULT-CDR))
 (7 4 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(CGEN::SIMPLE-VAR-HYP?)
(CGEN::DIRECTED-2-REL?)
(CGEN::UNDIRECTED-2-REL?)
(CGEN::PUT-INTERDEPENDENCY-EDGES-IN-ALST
 (6 6 (:TYPE-PRESCRIPTION CGEN::UNION-ENTRIES-IN-ADJ-LIST))
 )
(CGEN::BUILD-VDEPENDENCY-GRAPH
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(CGEN::BUILD-VARIABLE-DEPENDENCY-GRAPH)
(CGEN::VARS-IN-DEPENDENCY-ORDER)
(CGEN::CAN-REACH1)
(CGEN::CAN-REACH)
(CGEN::PICK-SINK-WITH-MAX-FANIN)
(CGEN::ADD-EDGE)
(CGEN::ADD-EDGES1)
(CGEN::TRANSFORM-TO-INCOMING-EDGE-ALST1)
(CGEN::TRANSFORM-TO-INCOMING-EDGE-ALST)
(CGEN::DUMB-GET-ALL-SINKS)
(CGEN::VAR-DEPTH-IN-TERM)
(CGEN::PICK-SINK-WITH-MAX-DEPTH)
(CGEN::FILTER-COMBINATOR-TYPE-SINKS)
(CGEN::PICK-SINK-HEURISTIC)
(CGEN::PICK-CONSTANT-HYP-VAR)
(CGEN::FILTER-TERMS-WITH-ARITY->)
(CGEN::SELECT)
