debugging letrec