Moved eval_with_k in another file