Strongly Typed AST: Migrate THROW_STATEMENT