message: allow to build a patricia tree set abstract domain from a patricia tree set
  Summary: As titled.
diff: @@ -36,6 +36,8 @@ class SetValue final
  SetValue(std::initializer_list<Element> l) : m_set(l.begin(), l.end()) {}
  + SetValue(const PatriciaTreeSet<Element>& set) : m_set(set) {}
  +
  const PatriciaTreeSet<Element>& elements() const override { return m_set; }
  size_t size() const override { return m_set.size(); }
  @@ -141,6 +143,10 @@ class PatriciaTreeSetAbstractDomain final
  this->set_to_value(Value(l));
  }
  + explicit PatriciaTreeSetAbstractDomain(const PatriciaTreeSet<Element>& set) {
  + this->set_to_value(Value(set));
  + }
  +
  static PatriciaTreeSetAbstractDomain bottom() {
  return PatriciaTreeSetAbstractDomain(AbstractValueKind::Bottom);
  }
  