Changed eval_env and write_expression.