dbg xinyu's smart skip for empty set, unfinished.