Rewrite TooManyParametersCheck using Strongly Typed AST