Function statement_rows 

pub fn statement_rows<F: TowerField + HardwareField>(
    records: &[TableRecord<'_, F>],
    eval: &EvalRecord<F>,
    statement: &OuterStatement,
) -> Result<usize>

Affine rows of the statement assemble builds: every table’s, the pool’s eval rows, one bus-sum row per bus id.