The regions annotation now gets updated in the AST.