Interesting. I wonder as a next step if you could use a causal graph as part of the controller for producing the programs. So this graph would be predefined b

Interesting. I wonder as a next step if you could use a causal graph as part of the controller for producing the programs. So this graph would be predefined but it would able to "reason" on the generated programs. That reasoning could be based on program complexity/minimum description length. So your controller is a supervisor that takes input/output and generates programs that recognize circles.