Function extract_for_loop 

fn extract_for_loop<'tcx>(
    expr: &Expr<'tcx>,
) -> Option<(&'tcx Pat<'tcx>, &'tcx Expr<'tcx>)>