Module Checkers.SelfInBlock

val checker : Absint.IntraproceduralAnalysis.t -> unit