ArgumentExceptionAnalyzer uses the semantic model to check the exception's type