public List<Statement> getReversePostOrderList(Statement stat) {
    cancellationManager.checkCanceled();
    List<Statement> res = new ArrayList<>();

    addToReversePostOrderListIterative(stat, res);

    return res;
  }
public List<Statement> getReversePostOrderList(Statement stat)