private @NotNull Stack<State> getStateStack() {
    Stack<State> stack = myStateStack;
    if (stack == null) myStateStack = stack = new Stack<>(2);
    return stack;
  }
private @NotNull Stack<State> getStateStack()