check if all exception annotation are well-kinded