statecount++;
}
else if (element instanceof CharacterString)
{
CharacterString string = (CharacterString)element;
statecount += string.getString().length();
}
else if (element instanceof Concatenation)
{
Concatenation concatenation = (Concatenation)element;