shrink inner prune loop, also create pool just once, since it is more expensive to keep recreating it
shrink inner prune loop, also create pool just once, since it is more expensive to keep recreating it

armijnhemel/binaryanalysis