protected static Integer getTokenType(Label label) {
if ( label.isSet() ) {
// pick random element of set
IntSet typeSet = label.getSet();
List typeList = typeSet.toList();
int randomIndex = random.nextInt(typeList.size());
return (Integer)typeList.get(randomIndex);
}
else {
return Utils.integer(label.getAtom());