3 new problematic test for Txn Set

looks like we can put duplicate elements into a set, by using Txn