Rewrite BadFieldNameCheck using Strongly Typed AST