docs: public Choice<State<List<JCExpression>>> unifyExpressions(
        @Nullable Iterable<? extends ExpressionTree> nodes, State<?> state) {
      return unify(nodes, state)
          .transform(s -> s.withResult(List.convert(JCExpression.class, s.result())));
    }