Ah, now I understand; is this the established terminology for this operation? `prune` does not seem to match completely, I would rather call it `collapse` or some such.