That's because they often weren't designed to handle such things. Imagine a BNF-style generator extended with constructs for error handling and edge cases. We a

That's because they often weren't designed to handle such things. Imagine a BNF-style generator extended with constructs for error handling and edge cases. We already have to do specifications of such behaviors. We might as well automatically get good code out of them. I think that would be helpful.