Review for NeurIPS paper: Synthesizing Tasks for Block-based Programming