{motive : Aesop.BaseM.State → Sort u} →
  (t : Aesop.BaseM.State) →
    ((rulePatternCache : Aesop.RulePatternCache) →
        (stats : Aesop.Stats) → motive { rulePatternCache := rulePatternCache, stats := stats }) →
      motive t