message: Use PatriciaTreeMap for live range analysis
diff: #include "ControlFlow.h"
  #include "FixpointIterators.h"
  -#include "HashedAbstractEnvironment.h"
  +#include "PatriciaTreeMapAbstractEnvironment.h"
  #include "PatriciaTreeSetAbstractDomain.h"
  #include "Transform.h"
  @@ -93,8 +93,9 @@ class DefsDomain final : public AbstractDomainReverseAdaptor<
  }
  };
  -class DefsEnvironment final : public AbstractDomainReverseAdaptor<
  - HashedAbstractEnvironment<reg_t, DefsDomain>,
  +class DefsEnvironment final
  + : public AbstractDomainReverseAdaptor<
  + PatriciaTreeMapAbstractEnvironment<reg_t, DefsDomain>,
  DefsEnvironment> {
  public:
  using AbstractDomainReverseAdaptor::AbstractDomainReverseAdaptor;
  