Definition: *atc-init-scope-rules*
(defconst *atc-init-scope-rules* '(init-scope-when-consp eq (:e init-scope) (:e param-declonp) (:e param-declon-to-ident+tyname) (:e obj-adeclor-array->size)))