“…This distinguishes our work from most of the related approaches [7,18,20,23,30,32,36,39,40]. The key insight, adapted from [14,16], is that the syntactical structures that appear in the program give rise to a formal grammar, from which many candidates could be sampled.…”