List<Statement> (List<Statement> lstexits) { cancellationManager.checkCanceled(); List<Statement> res = new ArrayList<>(); if (lstexits == null) { lstexits = new StrongConnectivityHelper(this).getExitReps(); } HashSet<Statement> setVisited = new HashSet<>(); for (Statement exit : lstexits) { cancellationManager.checkCanceled(); addToPostReversePostOrderList(exit, res, setVisited); } if (res.size() != stats.size()) { throw new RuntimeException("computing post reverse post order failed!"); } return res; }