more localizable error messages
Some error and warning messages that the user sees do not include information that makes it possible to connect the problem to the C source code or the semantic patch code. It would be helpful to systematically provide a line number and file name, and perhaps a code extract if appropriate. On the other hand, some care should be taken to ensure that messages that are currently saved so that they only show up once don't start being generated for every occurrence.