Cleanup in Main, adding summaries to piecewise executor