GuidingProgramSynthesis