I agree, but I don't think that is avoidable. We have the (unacceptable to me) situation where people cannot #ifdef out individual attributes, and there are other weird limitations that cause significant problems for users. We need to fix this somehow, and encoding this all into the AST isn't scalable. We discussed that in the review conversation mentioned in the original post upthread. Here is a link to part of the discussion.
-Chris