added letrec test