Pulselib.Pulse
val checker : PulseSummary.t Absint.InterproceduralAnalysis.t -> PulseSummary.t option