pub fn recognize_scale(stmts: &[Stmt<'_>]) -> Option<ScaleSpec>
Recognize Let Y be X scaled by C anywhere in the statement list.
Let Y be X scaled by C