Thanks for the explanation. Program synthesis is HARD, and we may never solve it, so any progress on this is great to read about.

Good luck with this.