Aux.Case.stats is now Seq[Stmt.Block]