Biabduction.RetainCycles
val report_cycle : BiabductionSummary.t Absint.InterproceduralAnalysis.t -> Prop.normal Prop.t -> unit