Block now has an explict possible terminator rather than just a list of stmts