FIX: was not re-initializing the ts_set of a free_set when taken from the available_set_list
FIX: was not re-initializing the ts_set of a free_set when taken from the available_set_list

LPD-EPFL/CLHT,LPD-EPFL/CLHT,LPD-EPFL/CLHT