duplicated block id: 1
size: 11 cleaned lines of code
in 2 files:
 - include/PowersetAbstractDomain.h (171:183)
 - include/SmallSortedSetAbstractDomain.h (160:172)