In preliminary experiments we had made the stop set distinct from the set of unlabeled points made available for querying and we saw performance was qualitatively the same but the AL curve was translated down by a few Fmeasure points.
we allow the points in the stop set to be selected during AL.