Added let case in eval_with_k