Checkers.PurityChecker
val should_report : IR.Procname.t -> bool
val checker : Absint.IntraproceduralAnalysis.t -> PurityDomain.summary option -> unit