Generation for Syntax-Guided Synthesis