added eval_prog for Let