Add more location info in CoreLint