Function analyze_with_sccs 

pub fn analyze_with_sccs<'a>(
    stmts: &[Stmt<'a>],
    interner: &Interner,
) -> BtaCache