adapting call graph pruning for use in the piecewise executor