Guided Sketch-Based Program Induction by Search Gradients