analyze_let