{motive : Lean.Compiler.LCNF.FixedParams.State → Sort u} →
  (t : Lean.Compiler.LCNF.FixedParams.State) →
    ((visited : Std.HashSet (Lean.Name × Array Lean.Compiler.LCNF.FixedParams.AbsValue)) →
        (fixed : Array Bool) → motive { visited := visited, fixed := fixed }) →
      motive t