Absint.RecursiveCycleException
exception RecursiveCycle of {
recursive : IR.SpecializedProcname.t;
ttl : int;
}