method
private
add_to_skip_set eid skip = skip_set <-
SkipIdSet
.add (eid,skip) skip_set