Rewriting evaluation relation