Dedicated implementation of program synthesis.