Migrate S1143 to SyntaxTree