Assertion list for term "unexamined entry".

Results from Ascent++: 1
queue HasAunexamined entry 0.31