Concurrency.RacerDFileAnalysis
val analyze : RacerDDomain.summary Absint.InterproceduralAnalysis.file_t -> Absint.IssueLog.t