I think this probably relies on our removal of obviously dead branches in the frontend, which might not be a good idea.