An example of IKAnalyzer