On Apr 1, 2012, at 18:25, John McCall wrote: > Yeah, I think when you're adding new AST nodes which cannot conceivably be generalized, you're not actually improving the abstraction. All right. Guess I'll shelve this idea and keep the model in the analyzer for now. Thanks for the guidance. Jordy