(motive : Lean.Meta.Grind.Arith.Cutsat.SymbolicIntInterval → Sort u_1) →
  (range : Lean.Meta.Grind.Arith.Cutsat.SymbolicIntInterval) →
    (Unit → motive Lean.Meta.Grind.Arith.Cutsat.SymbolicIntInterval.ii) →
      ((lo hi : Lean.Meta.Grind.Arith.Cutsat.SymbolicBound) →
          motive (Lean.Meta.Grind.Arith.Cutsat.SymbolicIntInterval.co lo hi)) →
        ((x : Lean.Meta.Grind.Arith.Cutsat.SymbolicIntInterval) → motive x) → motive range