Allow for customized graph edge pruning in PostOrderIterator.h