fix a bug in UnfoundedSetChecker (does not relate to the recent discussion with PS)
fix a bug in UnfoundedSetChecker (does not relate to the recent discussion with PS)

hexhex/core,hexhex/core,hexhex/core,hexhex/core