Merge of knownset / set_functions + GC
Merge of knownset / set_functions + GC