Definition: *vl-1-bit-adder-core-support*
(defconst *vl-1-bit-adder-core-support* (list *vl-1-bit-xor* *vl-1-bit-and* *vl-1-bit-or*))