--- a/src/bv.tp	Sun Aug 11 14:11:47 2013 -0700
+++ b/src/bv.tp	Sun Aug 11 14:12:01 2013 -0700
@@ -567,6 +567,18 @@
 					allOfSize: (size - 1) inFold?: 0 withOps: ops needOps: ops
 				}
 
+				allWithMaxSize <- :size {
+					res <- #[]
+					n <- 3
+					while: {n <= size} do: {
+						foreach: (allOfSize: n) :idx el{
+							res append: el
+						}
+						n <- n + 1
+					}
+					res
+				}
+
 				filterTrees <- :trees strops {
 					ops <- strops fold: 0 with: :acc el {
 						acc or (_names get: el withDefault: 0)
@@ -634,7 +646,7 @@
 					trees <- (prog allOfSize: size)
 				}
 				foreach: trees :idx tree {
-					prog root! tree
+					prog root!: tree
 					test: prog
 				}
 			}
@@ -642,3 +654,4 @@
 		}
 	}
 }
+