test naive reductions, all of which are implemented except transition expectation reductions