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