method private is_in_skip_set eid skip = SkipIdSet.mem (eid,skip) skip_set