Function recognize_head_slice 

pub fn recognize_head_slice(stmts: &[Stmt<'_>]) -> Option<HeadSliceSpec>

Recognize Let P be the first K of every N of X / the last K of every N of X — a loop over the groups, each pushing its K elements X[(g·N + i) + from].