docs: protected final <T extends JavaElement> void pushActive(@Nullable T oldElement, @Nullable T newElement,
          Object... context) {
          ActiveElements<T> r = new ActiveElements<>(depth, oldElement, newElement, activations.peek(), context);
          activations.push(r);
      }