public List<Statement> getPostReversePostOrderList(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;
  }
public List<Statement> getPostReversePostOrderList(List<Statement> lstexits)