Program Synthesis using Examples SDK