private AbstractTerm GetChoicepointItem(string item) { if (item[0] == 'X') { int index = Int32.Parse(item.Remove(0, 1)); return (AbstractTerm)_savedVariables[index]; } else { return null; } }