Tests for reduce_add