Computer program synthesis from computation traces