Function recognize_join 

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

Recognize Let J be A joined with B [across H heads] — a loop over the rows and in it a loop over the heads, each head pushing its part of A (A[(r·wa + h·ha) + i]) then its part of B.