docs: static void applyLowerPrecedence(List<NodeInfo> order) {
          for (int i = 0; i < order.size(); i++) {
              NodeInfo ni = order.get(i);
              if (ni.getNode().getAttribute(Constants.ATT_MOVE_ALLOWED).equals("false")) {
                  for (int j = 0; j < i; j++) {
                      NodeInfo lefty = order.get(j);
                      if (lefty.getPrecedence() == null
                              || lefty.getPrecedence().isLessThan(ni.getPrecedence())) {
                          order.remove(j);
                          order.add(i, lefty);
                      }
                  }
              }
          }
      }