TESTS: additional tests for nested REDUCE calls.