Specializer/generalizer for version spaces algorithm+started itertools.