Function collect_length_reads 

fn collect_length_reads<'gcx>(
    gcx: Gcx<'gcx>,
    expr: &'gcx Expr<'gcx>,
    reads: &mut Vec<(Span, VariableId)>,
)

Collects <state dynamic array>.length reads compared against an identifier in expr.