message: Introducing a move in ReducedProductAbstractDomain
  Summary: Move the tuple passed into the constructor rather than copy it.
diff: @@ -109,7 +109,7 @@ class ReducedProductAbstractDomain : public AbstractDomain<Derived> {
  * to the constructor circumvents the issue without sacrificing readability.
  */
  explicit ReducedProductAbstractDomain(std::tuple<Domains...> product)
  - : m_product(product) {
  + : m_product(std::move(product)) {
  // Since one or more components can be _|_, we need to normalize the
  // representation.
  normalize();
  