A partial program synthesis generator