public static Cons buildQuantifiedProposition(Cons tree, boolean converttypestoconstraintsP, Object [] MV_returnarray) {
    if (((GeneralizedSymbol)(tree.value)) == Logic.SYM_STELLA_EXISTS) {
      { Object old$Evaluationmode$000 = Logic.$EVALUATIONMODE$.get();

        try {
          Native.setSpecial(Logic.$EVALUATIONMODE$, Logic.KWD_DESCRIPTION);
          return (Logic.helpBuildQuantifiedProposition(tree, converttypestoconstraintsP, MV_returnarray));

        } finally {
          Logic.$EVALUATIONMODE$.set(old$Evaluationmode$000);
        }
      }
    }
    else {
      { Object old$Evaluationmode$001 = Logic.$EVALUATIONMODE$.get();

        try {
          Native.setSpecial(Logic.$EVALUATIONMODE$, Logic.KWD_DESCRIPTION);
          return (Logic.helpBuildQuantifiedProposition(tree, converttypestoconstraintsP, MV_returnarray));

        } finally {
          Logic.$EVALUATIONMODE$.set(old$Evaluationmode$001);
        }
      }
    }
  }