Checkers.RequiredProps
val checker : LithoDomain.summary Absint.InterproceduralAnalysis.t -> LithoDomain.summary option