public void Rollback()
 {
     Index = TokenIndices.Pop();
 }
 public void Final()
 {
     TokenIndices.Pop();
 }
 public void Commit()
 {
     TokenIndices.Push(Index);
 }