unique_ptrify ExplodedGraph::trim