Modify Set.clone() function