let's run as close to erasure as possible

In order not to provoke other phases by emitting partially valid trees.
We can't run after explicitouter, because erasure is hardcoded to run
right after it.