LineageBase (infer.Checkers.LineageBase)

val skip_unwanted : 
  string ->
  max_size:int option ->
  ('payload Absint.InterproceduralAnalysis.t -> 'arg -> 'summary option) ->
  'payload Absint.InterproceduralAnalysis.t ->
  'arg ->
  'summary option

Takes a checker and returns a checker that will skip synthethic and too-big functions.