Inheritance: BoolExpr
 public static QuantifiedExpression Make(Quantifier q, IEnumerable<VariableType> vars, BooleanExpression b)
 {
     var freeVars = b.GetVariables();
     foreach (var v in vars)
         if (!freeVars.Contains(v))
             throw new ArgumentException();
     return new QuantifiedExpression(q, vars, b);
 }
 private QuantifiedExpression(Quantifier q, IEnumerable<VariableType> v, BooleanExpression oper1)
 {
     quantified_variables = new HashSet<VariableType>();
     quantified_variables.UnionWith(v);
     boolean_expression_type = OperatorType.Quantifier;
     boolean_operation_arity = OperatorArity.One;
     switch (q)
     {
         case Quantifier.Exists:
         case Quantifier.Forall:
             quantifier = q;
             break;
         default:
             throw new ArgumentOutOfRangeException();
     }
     operand1 = inner = oper1;
 }