public SemanticEditorPosition afterOptionalMix(SyntaxElement @NotNull ... elements) {
    return copyAnd(position -> position.moveAfterOptionalMix(elements));
  }
public SemanticEditorPosition afterOptionalMix(SyntaxElement @NotNull ... elements)