stack-checker: make recursive-reduce have same signature as reduce.