Keyword (sub)options accepted by atc for the :pretty-printing option.
Definition: *atc-allowed-pretty-printing-options*
(defconst *atc-allowed-pretty-printing-options* (list :parenthesize-nested-conditionals))