Function body_reads_slice_len 

fn body_reads_slice_len<'tcx>(body: &Body<'tcx>) -> bool

Whether body contains a len call whose receiver traces back to argument 0.