Remove termination criteria and instead return a list of reductions (close #3)