message: Add IntegerSetDomain to Constant Propagation
diff: #include "ControlFlow.h"
  #include "DisjointUnionAbstractDomain.h"
  #include "HashedAbstractPartition.h"
  +#include "HashedSetAbstractDomain.h"
  #include "ObjectDomain.h"
  #include "ObjectWithImmutAttr.h"
  #include "PatriciaTreeMapAbstractEnvironment.h"
  */
  using SingletonObjectDomain = sparta::ConstantAbstractDomain<const DexField*>;
  +using IntegerSetDomain = sparta::HashedSetAbstractDomain<int64_t>;
  +
  using StringSetDomain = sparta::PatriciaTreeSetAbstractDomain<const DexString*>;
  using StringDomain = sparta::ConstantAbstractDomain<const DexString*>;
  @@ -69,6 +72,7 @@ using AbstractHeapPointer =
  using ConstantValue =
  sparta::DisjointUnionAbstractDomain<SignedConstantDomain,
  SingletonObjectDomain,
  + IntegerSetDomain,
  StringSetDomain,
  StringDomain,
  ConstantClassObjectDomain,
  