all the variety of Stmts is reduced to just Stmt, then Stmt => Stat