Definition:
(defconst *atc-write-object-rules* '(write-object-to-update-object write-object-okp-of-add-frame write-object-okp-of-enter-scope write-object-okp-of-add-var write-object-okp-of-update-var write-object-okp-of-update-object-same write-object-okp-of-update-object-disjoint write-object-okp-when-valuep-of-read-object write-object-of-objdesign-static object-disjointp-commutative valuep-when-uchar-arrayp valuep-when-schar-arrayp valuep-when-ushort-arrayp valuep-when-sshort-arrayp valuep-when-uint-arrayp valuep-when-sint-arrayp valuep-when-ulong-arrayp valuep-when-slong-arrayp valuep-when-ullong-arrayp valuep-when-sllong-arrayp value-kind-when-uchar-arrayp value-kind-when-schar-arrayp value-kind-when-ushort-arrayp value-kind-when-sshort-arrayp value-kind-when-uint-arrayp value-kind-when-sint-arrayp value-kind-when-ulong-arrayp value-kind-when-slong-arrayp value-kind-when-ullong-arrayp value-kind-when-sllong-arrayp))