Improve ADT error reporting