Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)