List of rewrite rules about certain functions distributing over if.
Definition:
(defconst *atc-distributivity-over-if-rewrite-rules* '(mv-nth-of-if scharp-of-if ucharp-of-if sshortp-of-if ushortp-of-if sintp-of-if uintp-of-if slongp-of-if ulongp-of-if sllongp-of-if ullongp-of-if booleanp-of-if))