I have noticed a very interesting deficiency. I work on compilers and a bunch of the code I write is for generating other code, and I have to do some second ord

I have noticed a very interesting deficiency. I work on compilers and a bunch of the code I write is for generating other code, and I have to do some second order reasoning about the behavior of the generated code. I haven't been able to make LLMs do this well.