Checkers.AnnotationReachability
val checker : AnnotationReachabilityDomain.t Absint.InterproceduralAnalysis.t -> AnnotationReachabilityDomain.t option