NO TEST: split responsibilities of ResultLister into ResultCounter and ResultPresenter