Fix SomagicAnalyzer testcase.