Cycle Removal Result, List vertices -> Set, misc