message: Explicitly delegate EnvironmentWithImpl's constructors to Base
  Summary:
  Appears to be a Clang bug, I was able to get it down to the following minimal
  repro: where gcc compiles things fine, and clang
  produces an error. (Incidentally, `gcc` does not require the `typename`
  either).
diff: @@ -95,7 +95,10 @@ class EnvironmentWithStoreImpl final
  sparta::ReducedProductAbstractDomain<EnvironmentWithStoreImpl<Store>,
  PointerEnvironment,
  StoreDomain>;
  - using typename Base::ReducedProductAbstractDomain;
  +
  + EnvironmentWithStoreImpl() = default;
  + EnvironmentWithStoreImpl(PointerEnvironment pe, StoreDomain sd)
  + : Base({std::move(pe), std::move(sd)}) {}
  static void reduce_product(
  const std::tuple<PointerEnvironment, StoreDomain>&) {}
  