mutable unused_set = UD.VS.empty