{motive : Lean.Server.Test.Runner.Client.NormalizeState → Sort u} →
  (t : Lean.Server.Test.Runner.Client.NormalizeState) →
    ((freshPtr : USize) →
        (knownPtrs : Std.TreeMap USize USize compare) → motive { freshPtr := freshPtr, knownPtrs := knownPtrs }) →
      motive t