Normalise the right-hand sides of rules before emitting equations.

This is needed because the terms in the test set are not kept
normalised wrt the rewrite system.