((/coi/util/good-rewrite-order.lisp::subterm-rec (nil nil nil nil (if) nil nil) ((nil) nil (consp) (let) nil nil nil) ((y (term (car y))) nil nil nil (or) nil nil) (nil nil nil (equal and recursive-call) nil nil nil) ((x term x) nil (consp cdr) (recursive-call) nil nil nil) ((term x y) nil (cdr) nil nil nil nil) ((term) nil nil nil nil nil nil)) (/coi/util/good-rewrite-order.lisp::subterm-p (nil nil nil (and) nil nil nil) (nil nil (consp) (subterm-rec) nil nil nil) ((y x) nil (cdr) nil nil nil nil) ((y) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/coi/util/good-rewrite-order.lisp::good-rewrite-order (nil nil nil nil (if) nil nil) (nil nil nil (and smaller-term) (if) nil nil) ((y x) nil (symbolp symbolp quotep) (and) (or) nil nil) ((x y x) nil (quotep quotep) (<< and subterm-p) nil nil nil) ((y y y x) nil (cadr cadr not) (smaller-term) nil nil nil) ((y x x y) nil nil (subterm-p) nil nil nil) ((x y) nil nil nil nil nil nil)))