Use SetVector instead of list for worklist