Quandary.JavaTaintAnalysis
val checker : QuandarySummary.t Absint.InterproceduralAnalysis.t -> QuandarySummary.t option