private void gatherNextStates()
{
NextStates = new List<string> {initialState};
var Transitions =
witd.SelectNodes(string.Format("descendant::TRANSITIONS/TRANSITION[@from='{0}']", initialState));
foreach (XmlNode transition in Transitions)
{
NextStates.Add(transition.Attributes.GetNamedItem("to").Value);
}
}