[vanderZwan]

You can modify the output of the program synthesis to fit your needs. See this CurryOn! talk from 2015 by Sumit Gulwani

https://www.youtube.com/watch?v=uqV9BlxEG5s