Concerning 3), we are interested in being able to predict

It is shown that the algorithm has robust performance for a wide variety of inputs and that it converges to a solution on the basis some LISP programs can be generated from just inputoutput of minimum input information.