Concurrency.RacerDProcAnalysis
val analyze : RacerDDomain.summary Absint.InterproceduralAnalysis.t -> RacerDDomain.summary option