Problems and size function
Fixed the build. also a size distribution for the problem set
Starting to work on program generation!
gen_programs now works for size = 4
Now tfold is recognized and works up to size = 5
pseudo program search
Rewrote gen_pseudo to fix the condition propagation bug!
demo