Synthesizing Programmatic Policy for Generalization within Task Domain | Synapse