TESTS: corrected test funfun5 in function-test.red