When discussing the requirements a rewrite function must satisfy, make the rewrite function the actor. (The assertions shouldn't be the actor.)
When discussing the requirements a rewrite function must satisfy, make the rewrite function the actor.
(The assertions shouldn't be the actor.)

hvr/hoopl,ezyang/hoopl,hvr/hoopl