More exprs and solutions to consider

src/main/scala/leon/synthesis/disambiguation/QuestionBuilder.scala

@@ -89,8 +89,8 @@ class QuestionBuilder[T <: Expr](input: Seq[Identifier], solutions: Stream[Solut
   private var _argTypes = input.map(_.getType)
   private var _questionSorMethod: QuestionSortingType = QuestionSortingType.IncreasingInputSize
   private var _alternativeSortMethod: AlternativeSortingType[T] = AlternativeSortingType.BalancedParenthesisIsBetter[T]() && AlternativeSortingType.ShorterIsBetter[T]() 
-  private var solutionsToTake = 15
-  private var expressionsToTake = 15
+  private var solutionsToTake = 30
+  private var expressionsToTake = 30
   private var keepEmptyAlternativeQuestions: T => Boolean = Set()
 
   /** Sets the way to sort questions. See [[QuestionSortingType]] */

testcases/stringrender/DoubleListRender.scala

@@ -48,6 +48,16 @@ object DoubleListRender {
         "[([()])]"
       case B(BB(N(), BB(N(), BB(N(), NN()))), N()) =>
         "[([], [], [])]"
+      case B(NN(), B(BB(N(), NN()), B(NN(), N()))) =>
+        "[(), ([]), ()]"
+      case B(BB(B(NN(), N()), BB(N(), NN())), N()) =>
+        "[([()], [])]"
+      case B(BB(B(BB(N(), NN()), N()), NN()), N()) =>
+        "[([([])])]"
+      case B(BB(B(NN(), B(NN(), N())), NN()), N()) =>
+        "[([(), ()])]"
+      case B(BB(N(), BB(B(NN(), N()), NN())), N()) =>
+        "[([], [()])]"
     }
   }
 }
\ No newline at end of file