Reformat Eval::evaluate()