Rewrite BadAbstractClassNameCheck using Strongly Typed AST