Use infer_let_fun
Modify infer_let_fun