Migrate S1067 to AST
Migrate S1142 to AST