Record the HashSet/HashMap operations in DFG/FTL/B3 and replay them in a benchmark