Fix termination condition of eval_while. Issue #19