Definition: *smt-architecture*
(defconst *smt-architecture* '((process-hint . add-hypo-cp) (add-hypo . expand-cp) (expand . type-extract-cp) (type-extract . uninterpreted-fn-cp) (uninterpreted . smt-trusted-cp) (uninterpreted-custom . smt-trusted-cp-custom)))
