Evolutionary program synthesis