Function state_dyn_array 

fn state_dyn_array<'gcx>(
    gcx: Gcx<'gcx>,
    expr: &Expr<'gcx>,
) -> Option<VariableId>

The state variable expr names, if it is a dynamic array.