Labs.ResourceLeaks
val checker : ResourceLeakDomain.summary Absint.InterproceduralAnalysis.t -> ResourceLeakDomain.summary option