improve pruning of ROH runs.