up the cut-off for generated programs to check
get fold and tfold working on program generation