StaticAnalysisAnalyser: better guessing of a violation line