pub fn recognize_row_gather(stmts: &[Stmt<'_>]) -> Option<RowGatherSpec>
Recognize Let x be row i of T.
Let x be row i of T