Symbol: dataiterator_skip_solvable