code: public void addQuantifierExpr(final INodeReadTrx mTransaction, final boolean mIsSome, final int mVarNum) {
  
          assert getPipeStack().size() >= (mVarNum + 1);
  
          final AbsAxis satisfy = getPipeStack().pop().getExpr();
          final List<AbsAxis> vars = new ArrayList<AbsAxis>();
          int num = mVarNum;
  
          while (num-- > 0) {
              // invert current order of variables to get original variable order
              vars.add(num, getPipeStack().pop().getExpr());
          }
  
          final AbsAxis mAxis =
              mIsSome ? new SomeExpr(mTransaction, vars, satisfy) : new EveryExpr(mTransaction, vars, satisfy);
  
          if (getPipeStack().empty() || getExpression().getSize() != 0) {
              addExpressionSingle();
          }
          getExpression().add(mAxis);
      }
docs: Adds a SomeExpression or an EveryExpression to the pipeline, depending on
  the parameter isSome.
  
  @param mTransaction
  Transaction to operate with.
  @param mIsSome
  defines whether a some- or an EveryExpression is used.
  @param mVarNum
  number of binding variables