}
}
private void collectLeafGraphs(Graph graph, Set<Graph> prevLeaves) {
if( graph instanceof MultiUnion ) {
MultiUnion union = ((MultiUnion) graph);
if( union.getBaseGraph() != null )
collectLeafGraphs( union.getBaseGraph(), prevLeaves );
for( Iterator<Graph> i = union.getSubGraphs().iterator(); i.hasNext(); )
collectLeafGraphs( i.next(), prevLeaves );
}
else if( graph instanceof InfGraph ) {
collectLeafGraphs( ((InfGraph) graph).getRawGraph(), prevLeaves );
}