fixed letrec test