collectLeaves (Prune _ _)      = error "Cannot residualize a tree with Prune nodes"
collectLeaves (Prune _ _)      = error "Cannot residualize a tree with Prune nodes"
collectLeaves (Prune _ _)      = error "Cannot residualize a tree with Prune nodes"