code: public int forAll(final int r, final int var) {
      final int res;
      if (var < 2)
        return r;
      varset2vartable(var);
      initRef();
      res = quantRec(r, Operand.AND, (var << 3) | CACHEID_FORALL);
      return res;
    }
docs: Universal quantifier elimination for the variables in {@code var}.
  @param r   the BDD root node
  @param var the variables to eliminate
  @return the BDD with the eliminated variables