Integration.ConfigImpactPostProcessval instantiate_unchecked_callees_cond :
Costlib.ConfigImpactAnalysis.Summary.t ->
Costlib.ConfigImpactAnalysis.Summary.tInstantiate conditional unchecked callees with collected config fields. WARN: This function must be called after the summaries for all procedures completed, because it evaluates a lazy value internally.
val is_in_gated_classes : IR.Procname.t -> boolCheck if a procedure is in a gated class. WARN: This function must be called after the summaries for all procedures completed, because it evaluates a lazy value internally.