if (deterministic && !excludenext.isDisjoint((children[i]).acceptedStartNames()))
deterministic = false;
if ((children[i]).isSkippable())
excludenext.addAll((children[i]).acceptedStartNames());
else
excludenext.clear();
}
// next, compute start set
for (int i = 0; i < children.length; i++)
{