Allow for abstractions during path pruning