IRCE: generalize InductiveRangeCheck::computeSafeIterationSpace to