If we only checked that produced program has valid syntax, instead of running it, we won't have problems with loops. Many gibberish programs would be produced, but some usefull also, eventually. We just wouldn't know which ones are the useful ones, but it shouldn't matter for copyright?

So it seems documenting is the real work, and programming is something that can be automated :)

The verify phase was just defining an inline function but not running it. However, I just noticed that a program with carefully placed braces could jump out of the function box and actually run. I replaced the checker with just Function(src) which shouldn't have that problem and is much faster.