Strongly Typed AST: Migrate WITH_STATEMENT