Review for NeurIPS paper: Learning Differentiable Programs with Admissible Neural Heuristics