CONS-SUBTREES

(cons-subtrees x nil) builds a fast alist that associates each subtree of X with T, without duplication.
Major Section:  HONS-AND-MEMOIZATION