Copy/paste wrt `reifyBasicTree`